/**
  Copyright (c) 2012-2015 "Bordeaux INP, Bertrand LE GAL"
  [http://legal.vvv.enseirb-matmeca.fr]

  This file is part of LDPC_C_Simulator.

  LDPC_C_Simulator is free software: you can redistribute it and/or modify
  it under the terms of the GNU General Public License as published by
  the Free Software Foundation, either version 3 of the License, or
  (at your option) any later version.

  This program is distributed in the hope that it will be useful,
  but WITHOUT ANY WARRANTY; without even the implied warranty of
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  GNU General Public License for more details.

  You should have received a copy of the GNU General Public License
  along with this program.  If not, see <http://www.gnu.org/licenses/>.
*/

#ifndef CONSTANTES
#define CONSTANTES

#include <math.h>

#define NB_DEGRES            1

#define _N                   4000 // Nombre de Variables
#define _K                   2000 // Nombre de Checks   
#define _M                   12000 // Nombre de Messages 

#define NOEUD   _N
#define MESSAGE _M

#define NmoinsK     (_N-_K)

#define DEG_1                6

#define DEG_1_COMPUTATIONS   2000

#define NB_ITERATIONS        20
#define NB_BITS_VARIABLES    8 //8
#define NB_BITS_MESSAGES     6 //6
#define SAT_POS_VAR  ( (0x0001<<(NB_BITS_VARIABLES-1))-1)
#define SAT_NEG_VAR  (-(0x0001<<(NB_BITS_VARIABLES-1))+1)
#define SAT_POS_MSG  ( (0x0001<<(NB_BITS_MESSAGES -1))-1)
#define SAT_NEG_MSG  (-(0x0001<<(NB_BITS_MESSAGES -1))+1)

//static float  beta         = 0.15;
//static int    FACTEUR_BETA = (0x0001<<(NB_BITS_MESSAGES/2));
//static int    BETA_FIX; //     = ((int)(FACTEUR_BETA*beta))

#endif


#ifndef _PosNoeudsVariable_
#define _PosNoeudsVariable_
const unsigned short PosNoeudsVariable[12000] ={
/* msg =      0, deg =  6 */    490,    694,    954,    999,   2407,   2908, 
/* msg =      1, deg =  6 */     69,    203,    280,    781,   3588,   3808, 
/* msg =      2, deg =  6 */    219,    699,   1954,   2127,   2447,   3044, 
/* msg =      3, deg =  6 */   1155,   1551,   1889,   2897,   3441,   3442, 
/* msg =      4, deg =  6 */    137,    574,    658,    931,   3066,   3650, 
/* msg =      5, deg =  6 */    105,    292,    407,    901,   3318,   3359, 
/* msg =      6, deg =  6 */    275,   2672,   3038,   3107,   3400,   3427, 
/* msg =      7, deg =  6 */    709,    767,   1026,   1154,   3185,   3569, 
/* msg =      8, deg =  6 */    370,    585,    600,    800,   1182,   1506, 
/* msg =      9, deg =  6 */   1108,   1285,   1848,   2139,   2986,   3298, 
/* msg =     10, deg =  6 */    768,   1047,   1211,   1229,   1305,   2917, 
/* msg =     11, deg =  6 */    936,   1570,   2348,   2865,   3417,   3937, 
/* msg =     12, deg =  6 */    561,   1596,   1952,   2106,   2558,   2807, 
/* msg =     13, deg =  6 */    299,    543,   1611,   2059,   2753,   3821, 
/* msg =     14, deg =  6 */     20,    182,    369,   1438,   2153,   3084, 
/* msg =     15, deg =  6 */    809,   1159,   2213,   2518,   2738,   3583, 
/* msg =     16, deg =  6 */   1384,   1736,   1930,   2095,   2962,   3257, 
/* msg =     17, deg =  6 */    926,   1450,   2433,   2476,   3228,   3301, 
/* msg =     18, deg =  6 */   1118,   1397,   2352,   3474,   3597,   3852, 
/* msg =     19, deg =  6 */    359,    454,    779,   3200,   3221,   3307, 
/* msg =     20, deg =  6 */    326,    798,   1318,   2711,   2771,   2885, 
/* msg =     21, deg =  6 */   1056,   1381,   1855,   2573,   2583,   3855, 
/* msg =     22, deg =  6 */    222,    848,   1430,   2017,   2180,   2839, 
/* msg =     23, deg =  6 */     79,    240,    759,   2489,   3091,   3529, 
/* msg =     24, deg =  6 */    644,   1456,   2601,   3149,   3202,   3227, 
/* msg =     25, deg =  6 */      3,     23,    277,   1135,   2643,   3272, 
/* msg =     26, deg =  6 */    249,    895,   1349,   2237,   3127,   3204, 
/* msg =     27, deg =  6 */    670,    841,    894,   1477,   2201,   2895, 
/* msg =     28, deg =  6 */     88,   1325,   1628,   1875,   2961,   3728, 
/* msg =     29, deg =  6 */   1593,   1994,   3557,   3629,   3733,   3843, 
/* msg =     30, deg =  6 */    972,   1215,   1570,   2485,   2718,   2725, 
/* msg =     31, deg =  6 */    200,    232,    414,    452,   1188,   2242, 
/* msg =     32, deg =  6 */    343,   1138,   1646,   2511,   3041,   3400, 
/* msg =     33, deg =  6 */    819,   1277,   1581,   2084,   2253,   2374, 
/* msg =     34, deg =  6 */   1093,   1682,   2229,   3098,   3338,   3909, 
/* msg =     35, deg =  6 */    455,   1651,   2271,   3202,   3525,   3575, 
/* msg =     36, deg =  6 */    986,   1199,   2234,   2559,   3003,   3858, 
/* msg =     37, deg =  6 */    235,    941,   1182,   1390,   1831,   2463, 
/* msg =     38, deg =  6 */   1463,   1500,   1515,   1595,   2238,   3242, 
/* msg =     39, deg =  6 */    634,   1704,   1846,   1948,   3198,   3809, 
/* msg =     40, deg =  6 */    217,   1160,   1216,   1448,   3605,   3684, 
/* msg =     41, deg =  6 */    631,    841,   1535,   2160,   3396,   3649, 
/* msg =     42, deg =  6 */    982,   1417,   1584,   3122,   3277,   3534, 
/* msg =     43, deg =  6 */     28,   3326,   3410,   3521,   3543,   3983, 
/* msg =     44, deg =  6 */   1168,   2956,   2965,   3183,   3680,   3851, 
/* msg =     45, deg =  6 */   1395,   3679,   3776,   3799,   3808,   3908, 
/* msg =     46, deg =  6 */     42,    223,    377,   1954,   2145,   3593, 
/* msg =     47, deg =  6 */    771,   1259,   1483,   1813,   2031,   3986, 
/* msg =     48, deg =  6 */   1157,   1537,   1755,   2758,   2777,   2925, 
/* msg =     49, deg =  6 */    243,    534,    924,   1034,   1362,   2652, 
/* msg =     50, deg =  6 */     20,    105,   1394,   3205,   3219,   3638, 
/* msg =     51, deg =  6 */   1002,   1455,   2320,   2729,   3062,   3966, 
/* msg =     52, deg =  6 */     75,    860,   1209,   2037,   2898,   3397, 
/* msg =     53, deg =  6 */   1052,   1676,   1948,   2020,   2423,   3091, 
/* msg =     54, deg =  6 */    556,   1498,   2302,   2515,   3005,   3177, 
/* msg =     55, deg =  6 */    253,    773,   1898,   2867,   3234,   3350, 
/* msg =     56, deg =  6 */   1172,   1234,   2413,   2617,   2628,   2966, 
/* msg =     57, deg =  6 */    478,    768,    938,   1257,   3571,   3843, 
/* msg =     58, deg =  6 */    489,   1513,   3373,   3737,   3801,   3835, 
/* msg =     59, deg =  6 */   1725,   2347,   2937,   3432,   3825,   3850, 
/* msg =     60, deg =  6 */    173,   1475,   1813,   2307,   2904,   3875, 
/* msg =     61, deg =  6 */    275,    987,   1775,   2682,   3537,   3576, 
/* msg =     62, deg =  6 */    852,   1272,   1389,   1786,   1864,   3014, 
/* msg =     63, deg =  6 */    354,    968,   1082,   2077,   2952,   3612, 
/* msg =     64, deg =  6 */     79,    460,   1592,   1648,   1882,   3775, 
/* msg =     65, deg =  6 */   1142,   1483,   1694,   1858,   2859,   3505, 
/* msg =     66, deg =  6 */   1548,   1723,   1785,   2376,   2406,   3955, 
/* msg =     67, deg =  6 */      1,    318,    737,   2252,   2503,   3677, 
/* msg =     68, deg =  6 */    583,    658,   1845,   2900,   3090,   3826, 
/* msg =     69, deg =  6 */    444,    554,    891,    920,   2006,   3717, 
/* msg =     70, deg =  6 */    135,    184,   1446,   1692,   1744,   3992, 
/* msg =     71, deg =  6 */    556,   1413,   2615,   2671,   2966,   3321, 
/* msg =     72, deg =  6 */    614,   1251,   1593,   2835,   2915,   3945, 
/* msg =     73, deg =  6 */    744,   1515,   2345,   2834,   3470,   3987, 
/* msg =     74, deg =  6 */    491,    609,    713,   1598,   1622,   2001, 
/* msg =     75, deg =  6 */    923,    935,   2099,   2325,   3171,   3471, 
/* msg =     76, deg =  6 */    961,   1030,   1376,   1556,   1785,   3769, 
/* msg =     77, deg =  6 */    529,    676,   1127,   2361,   2793,   3768, 
/* msg =     78, deg =  6 */    210,    967,   1946,   2428,   3069,   3926, 
/* msg =     79, deg =  6 */   1488,   2175,   2226,   3140,   3330,   3388, 
/* msg =     80, deg =  6 */    308,    714,   1714,   1959,   3854,   3913, 
/* msg =     81, deg =  6 */   1416,   1820,   2793,   3333,   3469,   3810, 
/* msg =     82, deg =  6 */    371,   1978,   2162,   2344,   2625,   2689, 
/* msg =     83, deg =  6 */    781,    826,   1027,   1392,   2222,   2967, 
/* msg =     84, deg =  6 */     30,    190,    735,   1105,   2281,   3250, 
/* msg =     85, deg =  6 */    125,   1980,   2514,   2582,   3229,   3787, 
/* msg =     86, deg =  6 */    160,    973,   1029,   2194,   3175,   3547, 
/* msg =     87, deg =  6 */    153,    849,   1077,   1164,   3208,   3898, 
/* msg =     88, deg =  6 */     81,    138,   1237,   1634,   3164,   3785, 
/* msg =     89, deg =  6 */    957,   1200,   1611,   1919,   2248,   3701, 
/* msg =     90, deg =  6 */    342,    425,   2280,   2345,   3199,   3513, 
/* msg =     91, deg =  6 */     66,    655,    897,   1880,   3488,   3753, 
/* msg =     92, deg =  6 */    536,    684,   1058,   1189,   2241,   3554, 
/* msg =     93, deg =  6 */    723,    945,   1230,   2034,   3899,   3924, 
/* msg =     94, deg =  6 */    971,   1118,   2005,   3239,   3499,   3622, 
/* msg =     95, deg =  6 */    201,   1784,   2206,   2315,   3101,   3835, 
/* msg =     96, deg =  6 */    435,    817,    969,   1054,   1349,   3948, 
/* msg =     97, deg =  6 */   1447,   2546,   3217,   3281,   3283,   3558, 
/* msg =     98, deg =  6 */    956,   2017,   2220,   3019,   3139,   3322, 
/* msg =     99, deg =  6 */    469,    632,   1255,   1700,   3594,   3948, 
/* msg =    100, deg =  6 */    206,   1349,   1783,   2064,   2843,   3989, 
/* msg =    101, deg =  6 */     71,    821,   1482,   2672,   2730,   3727, 
/* msg =    102, deg =  6 */     82,   1043,   1599,   1677,   1713,   3009, 
/* msg =    103, deg =  6 */   1733,   2221,   3273,   3372,   3456,   3930, 
/* msg =    104, deg =  6 */    236,    272,    598,   1421,   2103,   3138, 
/* msg =    105, deg =  6 */    712,   2481,   3205,   3706,   3727,   3783, 
/* msg =    106, deg =  6 */   1006,   1910,   2735,   3017,   3574,   3720, 
/* msg =    107, deg =  6 */    456,   1512,   1670,   3018,   3482,   3728, 
/* msg =    108, deg =  6 */     21,    265,   1067,   3176,   3333,   3665, 
/* msg =    109, deg =  6 */    805,   1357,   1885,   2461,   2465,   3793, 
/* msg =    110, deg =  6 */    319,    711,   2347,   2931,   3350,   3670, 
/* msg =    111, deg =  6 */    137,    155,   1621,   2174,   2984,   3543, 
/* msg =    112, deg =  6 */    693,   1210,   1240,   1274,   1794,   3859, 
/* msg =    113, deg =  6 */    525,   1340,   1420,   1586,   3036,   3695, 
/* msg =    114, deg =  6 */    305,    490,    530,   1321,   1782,   2614, 
/* msg =    115, deg =  6 */    405,    473,   1852,   1982,   3243,   3591, 
/* msg =    116, deg =  6 */    406,   1057,   1519,   1585,   2188,   2521, 
/* msg =    117, deg =  6 */    709,    854,   1203,   1928,   2308,   3339, 
/* msg =    118, deg =  6 */    672,    948,   1390,   1466,   1655,   2673, 
/* msg =    119, deg =  6 */    231,    480,    590,    748,   2327,   3425, 
/* msg =    120, deg =  6 */    234,    740,   1151,   2113,   2426,   2514, 
/* msg =    121, deg =  6 */    121,    521,   1807,   1816,   2773,   3977, 
/* msg =    122, deg =  6 */    577,   1308,   2737,   3365,   3794,   3962, 
/* msg =    123, deg =  6 */    445,   2378,   2956,   3147,   3433,   3994, 
/* msg =    124, deg =  6 */   1099,   1425,   3074,   3564,   3705,   3855, 
/* msg =    125, deg =  6 */    579,   1270,   1374,   2177,   2284,   2849, 
/* msg =    126, deg =  6 */    132,    360,    484,   1949,   2338,   2585, 
/* msg =    127, deg =  6 */   1008,   1559,   1773,   2343,   3511,   3922, 
/* msg =    128, deg =  6 */    382,   1430,   1799,   2847,   3519,   3782, 
/* msg =    129, deg =  6 */    649,    680,   2886,   3591,   3888,   3939, 
/* msg =    130, deg =  6 */    327,    375,   2674,   2706,   2878,   3777, 
/* msg =    131, deg =  6 */    317,   1095,   1466,   2259,   2831,   3112, 
/* msg =    132, deg =  6 */    203,    859,   1373,   1724,   2189,   2277, 
/* msg =    133, deg =  6 */   1179,   3043,   3201,   3245,   3366,   3937, 
/* msg =    134, deg =  6 */    716,   1298,   1855,   2167,   3090,   3308, 
/* msg =    135, deg =  6 */    551,    595,   1489,   2723,   3374,   3584, 
/* msg =    136, deg =  6 */    745,   2095,   2354,   2507,   3884,   3915, 
/* msg =    137, deg =  6 */    342,    600,    755,   1176,   1970,   3364, 
/* msg =    138, deg =  6 */     11,    583,    624,    754,   1672,   3841, 
/* msg =    139, deg =  6 */    565,   1534,   1673,   1823,   2536,   2774, 
/* msg =    140, deg =  6 */    354,    548,   1088,   1818,   2056,   3990, 
/* msg =    141, deg =  6 */   1053,   1056,   1468,   1705,   2157,   3812, 
/* msg =    142, deg =  6 */    298,   1114,   2453,   2578,   3659,   3959, 
/* msg =    143, deg =  6 */    266,    806,   1711,   1848,   2026,   3894, 
/* msg =    144, deg =  6 */     62,    213,    447,   2043,   2562,   2742, 
/* msg =    145, deg =  6 */    335,   1537,   1601,   1808,   2496,   3596, 
/* msg =    146, deg =  6 */    954,   1003,   1084,   2472,   2566,   3695, 
/* msg =    147, deg =  6 */    691,   1279,   1472,   2204,   3760,   3903, 
/* msg =    148, deg =  6 */      7,     46,    506,    563,    783,   3015, 
/* msg =    149, deg =  6 */   1219,   2471,   2826,   2964,   3145,   3986, 
/* msg =    150, deg =  6 */     98,   1207,   2092,   2647,   3396,   3817, 
/* msg =    151, deg =  6 */    117,   1327,   1735,   2267,   3837,   3915, 
/* msg =    152, deg =  6 */     37,    307,    563,   1202,   1313,   3149, 
/* msg =    153, deg =  6 */    330,    898,   1614,   1953,   2096,   2816, 
/* msg =    154, deg =  6 */   1070,   1780,   1993,   2583,   3361,   3967, 
/* msg =    155, deg =  6 */    407,   1607,   1744,   2608,   3489,   3806, 
/* msg =    156, deg =  6 */   1227,   1485,   1517,   2416,   2897,   3669, 
/* msg =    157, deg =  6 */    481,    682,   1018,   1211,   2636,   3630, 
/* msg =    158, deg =  6 */    171,   1040,   1412,   1747,   3419,   3682, 
/* msg =    159, deg =  6 */     61,    990,   1557,   2607,   3141,   3781, 
/* msg =    160, deg =  6 */    323,    373,   1564,   1762,   2197,   2788, 
/* msg =    161, deg =  6 */      0,    214,    298,    612,   2081,   3096, 
/* msg =    162, deg =  6 */    875,   1130,   1886,   2076,   2122,   2312, 
/* msg =    163, deg =  6 */   1404,   1723,   2427,   2501,   2566,   3299, 
/* msg =    164, deg =  6 */   1028,   1162,   1190,   2319,   2393,   3295, 
/* msg =    165, deg =  6 */     35,    861,    925,   1239,   3167,   3489, 
/* msg =    166, deg =  6 */    317,   1141,   1371,   1787,   2521,   3485, 
/* msg =    167, deg =  6 */    923,   1270,   1648,   1910,   2391,   3427, 
/* msg =    168, deg =  6 */    482,    683,   2500,   2509,   2674,   3170, 
/* msg =    169, deg =  6 */     86,    635,   1107,   2528,   2873,   2929, 
/* msg =    170, deg =  6 */     28,    467,   1065,   1463,   2492,   3596, 
/* msg =    171, deg =  6 */    146,    710,   1500,   2613,   2933,   3395, 
/* msg =    172, deg =  6 */     78,   1132,   1305,   1812,   2652,   3895, 
/* msg =    173, deg =  6 */     59,    846,   1574,   1900,   2397,   2917, 
/* msg =    174, deg =  6 */    406,   2427,   2648,   2673,   2939,   3900, 
/* msg =    175, deg =  6 */    457,    677,   1045,   1286,   2248,   3700, 
/* msg =    176, deg =  6 */   1320,   2005,   2292,   2579,   3677,   3981, 
/* msg =    177, deg =  6 */    560,   1060,   1098,   1357,   2568,   2604, 
/* msg =    178, deg =  6 */   1364,   2427,   2438,   3075,   3779,   3904, 
/* msg =    179, deg =  6 */    534,   1566,   1900,   2131,   2974,   3732, 
/* msg =    180, deg =  6 */   1352,   1737,   2554,   2695,   3383,   3548, 
/* msg =    181, deg =  6 */    582,   1357,   1684,   2110,   3449,   3681, 
/* msg =    182, deg =  6 */    389,    631,   1293,   2283,   3145,   3493, 
/* msg =    183, deg =  6 */   1650,   1967,   2311,   2459,   3289,   3856, 
/* msg =    184, deg =  6 */    667,   2046,   2247,   2487,   2606,   3945, 
/* msg =    185, deg =  6 */   2023,   2563,   2688,   2791,   3358,   3551, 
/* msg =    186, deg =  6 */    715,    904,   2178,   2365,   3161,   3663, 
/* msg =    187, deg =  6 */     82,   1388,   2351,   2466,   2739,   3049, 
/* msg =    188, deg =  6 */    918,   1255,   1691,   2144,   2604,   3766, 
/* msg =    189, deg =  6 */    278,   1515,   1868,   1960,   2888,   2947, 
/* msg =    190, deg =  6 */     84,    294,   2275,   2881,   3916,   3954, 
/* msg =    191, deg =  6 */    362,   1094,   1693,   2260,   2618,   2950, 
/* msg =    192, deg =  6 */    347,    856,    890,   1061,   1734,   3271, 
/* msg =    193, deg =  6 */    270,    581,   1603,   1836,   1840,   2128, 
/* msg =    194, deg =  6 */     50,    209,    543,   1092,   1795,   2168, 
/* msg =    195, deg =  6 */    186,    333,   1521,   1766,   2217,   3104, 
/* msg =    196, deg =  6 */     94,    279,    543,   1424,   2434,   3929, 
/* msg =    197, deg =  6 */    207,    518,   1668,   1962,   2064,   3076, 
/* msg =    198, deg =  6 */    687,   1315,   1524,   1590,   1998,   3865, 
/* msg =    199, deg =  6 */     94,    117,   1120,   1362,   1472,   3030, 
/* msg =    200, deg =  6 */    100,    238,    374,   1647,   1664,   2173, 
/* msg =    201, deg =  6 */   1444,   1798,   1860,   1950,   3445,   3628, 
/* msg =    202, deg =  6 */   1029,   1814,   2498,   2764,   3179,   3497, 
/* msg =    203, deg =  6 */    188,    647,   1504,   2467,   2538,   2863, 
/* msg =    204, deg =  6 */    896,   1397,   3684,   3884,   3886,   3946, 
/* msg =    205, deg =  6 */    433,   1211,   1253,   2738,   2919,   3690, 
/* msg =    206, deg =  6 */    711,    876,   1506,   3037,   3628,   3921, 
/* msg =    207, deg =  6 */   1133,   1610,   2057,   2373,   2726,   3681, 
/* msg =    208, deg =  6 */     47,    512,    707,   2379,   2431,   2690, 
/* msg =    209, deg =  6 */      5,    377,    785,    993,   1383,   2287, 
/* msg =    210, deg =  6 */   1021,   1449,   1480,   1516,   1663,   3968, 
/* msg =    211, deg =  6 */   1554,   1632,   1843,   1911,   2007,   3041, 
/* msg =    212, deg =  6 */    293,    447,   1123,   1167,   3233,   3852, 
/* msg =    213, deg =  6 */   1921,   2961,   2964,   3184,   3232,   3624, 
/* msg =    214, deg =  6 */     78,   1193,   2074,   2610,   3316,   3930, 
/* msg =    215, deg =  6 */    387,    513,   1057,   2526,   2693,   3626, 
/* msg =    216, deg =  6 */    502,    615,   1136,   2205,   2872,   3861, 
/* msg =    217, deg =  6 */    788,    801,   1134,   1294,   2331,   3502, 
/* msg =    218, deg =  6 */   1467,   1929,   2212,   2605,   2864,   3790, 
/* msg =    219, deg =  6 */    225,   2388,   2477,   3039,   3213,   3692, 
/* msg =    220, deg =  6 */    457,   1436,   1559,   1899,   1914,   2369, 
/* msg =    221, deg =  6 */    428,    644,    889,   1076,   1336,   2245, 
/* msg =    222, deg =  6 */    474,   1284,   2254,   2772,   2775,   3324, 
/* msg =    223, deg =  6 */     18,   1058,   1069,   1263,   2467,   3822, 
/* msg =    224, deg =  6 */     31,    229,    469,    866,   3134,   3757, 
/* msg =    225, deg =  6 */    694,   1147,   1241,   1329,   1922,   3774, 
/* msg =    226, deg =  6 */   2016,   2366,   2658,   3334,   3753,   3897, 
/* msg =    227, deg =  6 */    692,    968,   1164,   2594,   2789,   2821, 
/* msg =    228, deg =  6 */    195,   1276,   1330,   1600,   3209,   3241, 
/* msg =    229, deg =  6 */    472,    587,   1823,   2814,   3032,   3564, 
/* msg =    230, deg =  6 */    576,    602,    725,   1995,   2188,   2292, 
/* msg =    231, deg =  6 */    210,   1443,   1853,   1896,   2088,   3614, 
/* msg =    232, deg =  6 */    136,    187,    571,   1445,   3328,   3883, 
/* msg =    233, deg =  6 */    560,    902,   2170,   2614,   3211,   3246, 
/* msg =    234, deg =  6 */    413,   1937,   2025,   2494,   2495,   3335, 
/* msg =    235, deg =  6 */    760,   2443,   2567,   3293,   3401,   3524, 
/* msg =    236, deg =  6 */    119,    137,    468,    739,   1337,   3242, 
/* msg =    237, deg =  6 */    241,   1290,   2011,   2192,   3557,   3606, 
/* msg =    238, deg =  6 */     80,    168,    202,   1706,   2134,   3667, 
/* msg =    239, deg =  6 */    547,   1234,   1681,   1697,   2089,   2475, 
/* msg =    240, deg =  6 */    989,   1432,   1587,   2412,   2535,   3378, 
/* msg =    241, deg =  6 */     43,   1801,   2146,   2669,   2670,   2798, 
/* msg =    242, deg =  6 */    889,    916,   2279,   2474,   2974,   3264, 
/* msg =    243, deg =  6 */    300,    492,   1218,   2078,   2709,   3736, 
/* msg =    244, deg =  6 */    163,   1491,   1699,   2932,   3164,   3665, 
/* msg =    245, deg =  6 */   1160,   2540,   2857,   2888,   2892,   3336, 
/* msg =    246, deg =  6 */    965,   2140,   2728,   3125,   3482,   3969, 
/* msg =    247, deg =  6 */    826,    859,    988,   1941,   2697,   3401, 
/* msg =    248, deg =  6 */    516,    984,   1887,   2209,   3053,   3406, 
/* msg =    249, deg =  6 */    450,   1360,   1786,   2210,   3647,   3804, 
/* msg =    250, deg =  6 */    523,   1386,   1517,   2513,   2729,   2948, 
/* msg =    251, deg =  6 */      2,   1199,   1457,   2377,   2589,   3637, 
/* msg =    252, deg =  6 */   1821,   1884,   2515,   3399,   3411,   3958, 
/* msg =    253, deg =  6 */    960,   1028,   2401,   2453,   2807,   3457, 
/* msg =    254, deg =  6 */    114,   1387,   2219,   3544,   3885,   3892, 
/* msg =    255, deg =  6 */    555,   1367,   1403,   1591,   3826,   3925, 
/* msg =    256, deg =  6 */    717,   1574,   1913,   2243,   3367,   3536, 
/* msg =    257, deg =  6 */   1080,   1323,   1478,   1815,   2987,   3641, 
/* msg =    258, deg =  6 */    170,   3024,   3212,   3415,   3602,   3811, 
/* msg =    259, deg =  6 */    594,    838,   1471,   1989,   3058,   3740, 
/* msg =    260, deg =  6 */      0,    390,   1700,   2997,   3224,   3381, 
/* msg =    261, deg =  6 */    664,   1320,   2034,   3084,   3802,   3958, 
/* msg =    262, deg =  6 */    561,    605,   1063,   2024,   2716,   3004, 
/* msg =    263, deg =  6 */    591,    917,   1728,   2071,   3447,   3648, 
/* msg =    264, deg =  6 */    853,   1232,   1907,   3227,   3288,   3885, 
/* msg =    265, deg =  6 */     88,    116,   1163,   1687,   2595,   3822, 
/* msg =    266, deg =  6 */    567,    646,    692,   1696,   2215,   3838, 
/* msg =    267, deg =  6 */    221,    315,   1233,   2303,   2987,   3311, 
/* msg =    268, deg =  6 */    115,    400,   2140,   2986,   2995,   3008, 
/* msg =    269, deg =  6 */    591,   2006,   2266,   2270,   2830,   3236, 
/* msg =    270, deg =  6 */     79,    322,   1722,   2242,   3257,   3640, 
/* msg =    271, deg =  6 */    852,   2177,   2304,   2597,   2812,   3929, 
/* msg =    272, deg =  6 */   1243,   1582,   1610,   1791,   2856,   2862, 
/* msg =    273, deg =  6 */    754,   1455,   1609,   1683,   1927,   2225, 
/* msg =    274, deg =  6 */    812,   1645,   2362,   2652,   3347,   3580, 
/* msg =    275, deg =  6 */     56,    847,   1328,   1384,   2021,   2712, 
/* msg =    276, deg =  6 */    549,   1399,   1619,   2306,   2820,   3874, 
/* msg =    277, deg =  6 */    265,    686,   1754,   2398,   3283,   3370, 
/* msg =    278, deg =  6 */   1117,   1201,   1892,   2213,   2450,   3795, 
/* msg =    279, deg =  6 */   1077,   1094,   1288,   2155,   2566,   2741, 
/* msg =    280, deg =  6 */   2667,   3245,   3284,   3541,   3865,   3971, 
/* msg =    281, deg =  6 */    112,   1176,   1809,   2168,   2827,   3554, 
/* msg =    282, deg =  6 */     48,   1232,   1236,   1526,   2732,   3428, 
/* msg =    283, deg =  6 */      9,    223,   1095,   1297,   2791,   3716, 
/* msg =    284, deg =  6 */    364,    746,    868,   1979,   2660,   3754, 
/* msg =    285, deg =  6 */    983,   1284,   1780,   1874,   2894,   3321, 
/* msg =    286, deg =  6 */    197,    255,    720,   1177,   3323,   3991, 
/* msg =    287, deg =  6 */    462,   1136,   1662,   2822,   3226,   3520, 
/* msg =    288, deg =  6 */    557,   1397,   2214,   2261,   2526,   3085, 
/* msg =    289, deg =  6 */    175,   1416,   1441,   2285,   3375,   3444, 
/* msg =    290, deg =  6 */    380,    856,   1633,   2165,   2502,   3698, 
/* msg =    291, deg =  6 */    431,    919,   2361,   2420,   2848,   3244, 
/* msg =    292, deg =  6 */    311,    882,   1594,   1888,   1916,   3784, 
/* msg =    293, deg =  6 */    183,   1054,   1058,   1437,   1567,   3506, 
/* msg =    294, deg =  6 */    309,   2238,   2294,   3044,   3286,   3971, 
/* msg =    295, deg =  6 */     73,   1822,   2256,   3121,   3679,   3812, 
/* msg =    296, deg =  6 */     33,    811,   1222,   1730,   3367,   3968, 
/* msg =    297, deg =  6 */    416,    675,    818,   2728,   3127,   3883, 
/* msg =    298, deg =  6 */    233,    505,   1687,   1871,   1998,   3202, 
/* msg =    299, deg =  6 */    208,   1781,   2656,   2763,   3126,   3689, 
/* msg =    300, deg =  6 */   1221,   1617,   1660,   1745,   2071,   3846, 
/* msg =    301, deg =  6 */    541,   1473,   1832,   2707,   3622,   3661, 
/* msg =    302, deg =  6 */     92,    521,    782,   1502,   1791,   1834, 
/* msg =    303, deg =  6 */    834,    844,   1833,   1839,   2319,   3027, 
/* msg =    304, deg =  6 */     24,    274,    897,   1407,   2400,   3773, 
/* msg =    305, deg =  6 */      4,   1166,   1577,   2065,   3024,   3534, 
/* msg =    306, deg =  6 */    784,   1490,   1873,   1877,   2848,   3469, 
/* msg =    307, deg =  6 */    400,   1125,   1678,   1822,   1873,   3042, 
/* msg =    308, deg =  6 */     74,   2642,   2872,   3255,   3685,   3970, 
/* msg =    309, deg =  6 */    267,   1487,   1529,   2977,   3200,   3483, 
/* msg =    310, deg =  6 */    217,    346,    402,   1643,   3329,   3363, 
/* msg =    311, deg =  6 */   1866,   2087,   2158,   2679,   3431,   3640, 
/* msg =    312, deg =  6 */    634,    831,   1168,   2890,   3704,   3989, 
/* msg =    313, deg =  6 */    604,   1435,   1706,   1984,   2635,   3559, 
/* msg =    314, deg =  6 */    231,   2090,   2203,   2702,   2886,   3477, 
/* msg =    315, deg =  6 */    910,   1284,   2044,   2425,   2534,   2899, 
/* msg =    316, deg =  6 */    772,    926,   1342,   1777,   2072,   2679, 
/* msg =    317, deg =  6 */    148,    745,    898,   1183,   2632,   3523, 
/* msg =    318, deg =  6 */    260,    791,   1734,   2385,   2837,   3044, 
/* msg =    319, deg =  6 */    347,    695,   1227,   2929,   3180,   3817, 
/* msg =    320, deg =  6 */    446,   1485,   1519,   2765,   3344,   3370, 
/* msg =    321, deg =  6 */    199,    655,   2515,   3186,   3424,   3774, 
/* msg =    322, deg =  6 */     50,   1027,   1156,   2138,   2634,   2744, 
/* msg =    323, deg =  6 */   1177,   1441,   2631,   3390,   3403,   3619, 
/* msg =    324, deg =  6 */     95,   1081,   1466,   1548,   2944,   3081, 
/* msg =    325, deg =  6 */   1782,   2334,   2432,   2464,   3180,   3875, 
/* msg =    326, deg =  6 */   1580,   1846,   1901,   1971,   2305,   2758, 
/* msg =    327, deg =  6 */    152,    542,   1680,   1837,   2709,   3069, 
/* msg =    328, deg =  6 */    757,   1753,   2959,   3154,   3188,   3863, 
/* msg =    329, deg =  6 */   1578,   2012,   2846,   2925,   3256,   3435, 
/* msg =    330, deg =  6 */    351,   1776,   2660,   3272,   3721,   3938, 
/* msg =    331, deg =  6 */    575,    677,   2520,   2920,   3616,   3663, 
/* msg =    332, deg =  6 */    463,   1991,   2289,   2552,   3226,   3476, 
/* msg =    333, deg =  6 */    858,   1581,   1796,   2109,   2869,   3017, 
/* msg =    334, deg =  6 */    234,   2285,   2630,   2821,   2828,   3914, 
/* msg =    335, deg =  6 */   1415,   3027,   3270,   3834,   3863,   3867, 
/* msg =    336, deg =  6 */     58,    343,    795,   1339,   1732,   3940, 
/* msg =    337, deg =  6 */    515,    684,    789,   1303,   2445,   3067, 
/* msg =    338, deg =  6 */   1375,   1406,   2096,   2621,   2834,   3632, 
/* msg =    339, deg =  6 */     62,   1605,   3289,   3431,   3549,   3932, 
/* msg =    340, deg =  6 */    541,    689,   1663,   1806,   2423,   2860, 
/* msg =    341, deg =  6 */      1,   1014,   2415,   2874,   3731,   3913, 
/* msg =    342, deg =  6 */   1523,   2132,   2616,   3274,   3540,   3787, 
/* msg =    343, deg =  6 */    321,   1150,   1168,   1380,   2617,   2808, 
/* msg =    344, deg =  6 */    482,   1150,   1943,   2323,   3125,   3846, 
/* msg =    345, deg =  6 */   1741,   2643,   3128,   3287,   3655,   3749, 
/* msg =    346, deg =  6 */    206,   2182,   2779,   2812,   3203,   3559, 
/* msg =    347, deg =  6 */    381,   1978,   2348,   2686,   3262,   3617, 
/* msg =    348, deg =  6 */    513,    812,   1198,   1740,   2774,   3828, 
/* msg =    349, deg =  6 */     14,    656,   1393,   2095,   2674,   2891, 
/* msg =    350, deg =  6 */    466,   1334,   2692,   3206,   3598,   3854, 
/* msg =    351, deg =  6 */    259,    353,    392,    885,   2227,   2469, 
/* msg =    352, deg =  6 */   1308,   1408,   1431,   1759,   2422,   3075, 
/* msg =    353, deg =  6 */   1330,   1469,   1883,   2296,   2407,   3584, 
/* msg =    354, deg =  6 */    140,    201,   1208,   2577,   2810,   3392, 
/* msg =    355, deg =  6 */    136,    792,    887,   2008,   2778,   2841, 
/* msg =    356, deg =  6 */    963,   1002,   2364,   2964,   3630,   3870, 
/* msg =    357, deg =  6 */     72,   1893,   3068,   3460,   3638,   3959, 
/* msg =    358, deg =  6 */    418,    628,   1333,   1984,   2725,   2777, 
/* msg =    359, deg =  6 */    251,   1240,   1470,   1806,   2490,   2547, 
/* msg =    360, deg =  6 */    141,   2015,   2196,   2667,   3102,   3263, 
/* msg =    361, deg =  6 */    705,    752,   1180,   1322,   2880,   3156, 
/* msg =    362, deg =  6 */    239,    906,   1465,   1658,   2383,   3986, 
/* msg =    363, deg =  6 */     64,    282,    614,   1559,   1714,   2675, 
/* msg =    364, deg =  6 */   1184,   1406,   2196,   2360,   2594,   3872, 
/* msg =    365, deg =  6 */    695,    885,   2875,   3183,   3527,   3712, 
/* msg =    366, deg =  6 */    810,   1133,   1897,   1988,   2700,   2872, 
/* msg =    367, deg =  6 */    249,    596,    886,   1586,   3153,   3594, 
/* msg =    368, deg =  6 */    154,    783,    874,   1923,   2200,   2268, 
/* msg =    369, deg =  6 */     17,    272,    490,    559,   2331,   3970, 
/* msg =    370, deg =  6 */     29,    430,    604,   1612,   2600,   3297, 
/* msg =    371, deg =  6 */     77,    780,   1261,   1381,   2974,   3928, 
/* msg =    372, deg =  6 */     65,    945,   1835,   1966,   2968,   3709, 
/* msg =    373, deg =  6 */     16,    129,    208,   1292,   2830,   3437, 
/* msg =    374, deg =  6 */    243,   1028,   1721,   3023,   3052,   3133, 
/* msg =    375, deg =  6 */    256,    323,    592,   2591,   3553,   3692, 
/* msg =    376, deg =  6 */    691,   1012,   1119,   2142,   2341,   3110, 
/* msg =    377, deg =  6 */    232,   1209,   1736,   1953,   2207,   3459, 
/* msg =    378, deg =  6 */    358,    835,   1064,   3730,   3857,   3871, 
/* msg =    379, deg =  6 */   1498,   1898,   2370,   2397,   2516,   3702, 
/* msg =    380, deg =  6 */   2066,   2638,   3353,   3384,   3507,   3833, 
/* msg =    381, deg =  6 */    593,    718,   1216,   1467,   2595,   3515, 
/* msg =    382, deg =  6 */      8,    544,    615,   1565,   1585,   2967, 
/* msg =    383, deg =  6 */   1005,   1370,   1775,   3113,   3472,   3657, 
/* msg =    384, deg =  6 */     92,    999,   1440,   2581,   3170,   3454, 
/* msg =    385, deg =  6 */    803,   3015,   3025,   3127,   3449,   3642, 
/* msg =    386, deg =  6 */    448,    742,   2363,   2455,   3078,   3674, 
/* msg =    387, deg =  6 */    690,   1242,   1562,   2486,   2991,   3319, 
/* msg =    388, deg =  6 */    813,   1842,   2120,   2876,   2913,   3322, 
/* msg =    389, deg =  6 */     58,    215,    273,   1684,   1788,   3270, 
/* msg =    390, deg =  6 */     76,    295,    979,   1257,   1368,   2082, 
/* msg =    391, deg =  6 */    340,   1014,   1352,   2528,   2620,   3894, 
/* msg =    392, deg =  6 */   1409,   1459,   1912,   2275,   3422,   3947, 
/* msg =    393, deg =  6 */    384,    475,    773,   1834,   2464,   3963, 
/* msg =    394, deg =  6 */     23,   1280,   1994,   2148,   2154,   2562, 
/* msg =    395, deg =  6 */    727,   1093,   1848,   2283,   3087,   3453, 
/* msg =    396, deg =  6 */     53,    208,    530,   1674,   3374,   3578, 
/* msg =    397, deg =  6 */    576,   1312,   1497,   1838,   2632,   3498, 
/* msg =    398, deg =  6 */    291,    329,   1980,   2937,   3269,   3443, 
/* msg =    399, deg =  6 */   1668,   3592,   3801,   3816,   3829,   3880, 
/* msg =    400, deg =  6 */    162,    510,   2978,   3162,   3335,   3404, 
/* msg =    401, deg =  6 */   1246,   1632,   1920,   2995,   3213,   3875, 
/* msg =    402, deg =  6 */    802,    912,   1274,   2824,   2986,   3942, 
/* msg =    403, deg =  6 */   1529,   2158,   3051,   3117,   3187,   3702, 
/* msg =    404, deg =  6 */    822,   1257,   2747,   2768,   2854,   3066, 
/* msg =    405, deg =  6 */    128,   1031,   1312,   3351,   3394,   3431, 
/* msg =    406, deg =  6 */    878,    902,   1691,   2088,   2593,   3502, 
/* msg =    407, deg =  6 */    720,   1091,   1421,   3274,   3593,   3599, 
/* msg =    408, deg =  6 */     18,    217,    471,   1590,   2511,   3845, 
/* msg =    409, deg =  6 */    837,   2777,   3079,   3363,   3427,   3893, 
/* msg =    410, deg =  6 */    822,   1462,   1973,   2358,   2365,   2868, 
/* msg =    411, deg =  6 */   1206,   2096,   2126,   2829,   2955,   3178, 
/* msg =    412, deg =  6 */     39,    665,    712,   2612,   2863,   3839, 
/* msg =    413, deg =  6 */    158,    940,   1035,   1038,   1849,   1932, 
/* msg =    414, deg =  6 */   1004,   1024,   1482,   2051,   2892,   2958, 
/* msg =    415, deg =  6 */   1411,   1507,   2556,   2704,   3874,   3907, 
/* msg =    416, deg =  6 */    545,   2654,   2804,   2932,   3042,   3396, 
/* msg =    417, deg =  6 */    937,   1538,   2092,   2701,   2799,   3652, 
/* msg =    418, deg =  6 */    358,   1082,   2109,   2190,   2289,   2643, 
/* msg =    419, deg =  6 */     92,    577,    630,   1116,   1745,   3339, 
/* msg =    420, deg =  6 */    747,    813,   1071,   2439,   3032,   3944, 
/* msg =    421, deg =  6 */   1273,   1351,   2300,   2493,   3568,   3957, 
/* msg =    422, deg =  6 */    111,   1112,   2031,   2752,   2946,   3856, 
/* msg =    423, deg =  6 */     99,   1193,   1526,   1597,   1626,   2801, 
/* msg =    424, deg =  6 */   1522,   2533,   2715,   2736,   2809,   2977, 
/* msg =    425, deg =  6 */    818,   3025,   3731,   3805,   3891,   3902, 
/* msg =    426, deg =  6 */   1148,   1394,   2232,   2381,   2684,   3137, 
/* msg =    427, deg =  6 */     25,   2048,   2114,   3424,   3438,   3992, 
/* msg =    428, deg =  6 */    342,    477,   1249,   2884,   3060,   3337, 
/* msg =    429, deg =  6 */    214,   1512,   2068,   3346,   3783,   3919, 
/* msg =    430, deg =  6 */    848,   1382,   1883,   2456,   3166,   3342, 
/* msg =    431, deg =  6 */    150,    562,   1891,   2128,   3438,   3906, 
/* msg =    432, deg =  6 */    192,   1120,   1875,   1963,   3123,   3724, 
/* msg =    433, deg =  6 */   1045,   1167,   1457,   2497,   2647,   3933, 
/* msg =    434, deg =  6 */    140,    594,    636,   1933,   2773,   2854, 
/* msg =    435, deg =  6 */    287,    929,   2778,   3009,   3152,   3349, 
/* msg =    436, deg =  6 */    315,   1669,   1832,   2135,   2383,   2505, 
/* msg =    437, deg =  6 */    345,    796,   1509,   2575,   2900,   3100, 
/* msg =    438, deg =  6 */    406,    476,   1625,   2065,   3095,   3254, 
/* msg =    439, deg =  6 */     86,    870,   2405,   2720,   3480,   3579, 
/* msg =    440, deg =  6 */     61,    106,   1470,   1653,   3798,   3992, 
/* msg =    441, deg =  6 */    571,    823,    949,   1311,   2203,   2689, 
/* msg =    442, deg =  6 */   1430,   2025,   3631,   3671,   3938,   3960, 
/* msg =    443, deg =  6 */    350,   1461,   2142,   2973,   3571,   3690, 
/* msg =    444, deg =  6 */   1448,   1497,   1891,   2042,   2230,   2257, 
/* msg =    445, deg =  6 */    169,    629,   1090,   1263,   2387,   3348, 
/* msg =    446, deg =  6 */   1326,   1552,   2281,   3208,   3446,   3479, 
/* msg =    447, deg =  6 */     69,    939,   2189,   2945,   3313,   3473, 
/* msg =    448, deg =  6 */    366,    519,   1137,   2416,   2551,   3302, 
/* msg =    449, deg =  6 */    378,   1247,   2485,   2508,   3230,   3780, 
/* msg =    450, deg =  6 */    257,   1158,   1408,   1708,   1790,   2454, 
/* msg =    451, deg =  6 */    360,    384,    459,    861,   1860,   3476, 
/* msg =    452, deg =  6 */    701,   1114,   1605,   1712,   2524,   2703, 
/* msg =    453, deg =  6 */    130,    179,    864,   2541,   2569,   3231, 
/* msg =    454, deg =  6 */   1458,   1778,   1937,   2293,   2766,   3395, 
/* msg =    455, deg =  6 */     91,    383,   1267,   1698,   2665,   2743, 
/* msg =    456, deg =  6 */    207,    802,    878,   2552,   3487,   3996, 
/* msg =    457, deg =  6 */    142,   1130,   1929,   2492,   2846,   3352, 
/* msg =    458, deg =  6 */   1044,   1149,   1215,   1644,   2197,   2883, 
/* msg =    459, deg =  6 */     55,    327,   1337,   1614,   1786,   2437, 
/* msg =    460, deg =  6 */   1640,   2620,   2921,   3029,   3411,   3867, 
/* msg =    461, deg =  6 */    218,    780,   2034,   2848,   3426,   3509, 
/* msg =    462, deg =  6 */    140,    347,    637,   1049,   1251,   3711, 
/* msg =    463, deg =  6 */    330,    503,   1344,   1429,   2147,   3079, 
/* msg =    464, deg =  6 */   1040,   1253,   1393,   1642,   3002,   3501, 
/* msg =    465, deg =  6 */    527,    895,   1800,   2605,   3524,   3919, 
/* msg =    466, deg =  6 */     19,    579,    764,    917,   1056,   2830, 
/* msg =    467, deg =  6 */    634,   1009,   1269,   2129,   3882,   3998, 
/* msg =    468, deg =  6 */    253,    734,   2127,   2156,   2593,   2636, 
/* msg =    469, deg =  6 */    101,    328,   1933,   2172,   3191,   3463, 
/* msg =    470, deg =  6 */    532,   1043,   1270,   1458,   3341,   3696, 
/* msg =    471, deg =  6 */   2519,   2649,   2737,   2926,   3329,   3360, 
/* msg =    472, deg =  6 */    696,   1588,   2016,   2953,   3112,   3525, 
/* msg =    473, deg =  6 */    163,    282,   3071,   3152,   3421,   3827, 
/* msg =    474, deg =  6 */    293,   1689,   2028,   2651,   3316,   3556, 
/* msg =    475, deg =  6 */    230,    975,   1295,   1749,   2101,   2788, 
/* msg =    476, deg =  6 */   1396,   1859,   2035,   2040,   2560,   2753, 
/* msg =    477, deg =  6 */    356,    663,   1739,   2060,   3776,   3890, 
/* msg =    478, deg =  6 */   1324,   1545,   1615,   1656,   2159,   2622, 
/* msg =    479, deg =  6 */    747,   1068,   1575,   2240,   2665,   3314, 
/* msg =    480, deg =  6 */   1315,   1793,   2169,   2424,   3121,   3978, 
/* msg =    481, deg =  6 */    130,    422,   2588,   2832,   3412,   3719, 
/* msg =    482, deg =  6 */    913,   1341,   1434,   2461,   3461,   3656, 
/* msg =    483, deg =  6 */    198,    652,    998,   1522,   2018,   3355, 
/* msg =    484, deg =  6 */   1317,   1465,   1692,   3430,   3627,   3868, 
/* msg =    485, deg =  6 */    220,    467,    867,   2757,   2841,   3314, 
/* msg =    486, deg =  6 */     27,    533,    825,   2717,   2921,   2972, 
/* msg =    487, deg =  6 */     59,    633,    937,   1418,   2628,   3597, 
/* msg =    488, deg =  6 */    622,    866,   1415,   2033,   2985,   3073, 
/* msg =    489, deg =  6 */    363,    860,   1017,   1543,   2620,   2870, 
/* msg =    490, deg =  6 */   2838,   3174,   3178,   3447,   3532,   3943, 
/* msg =    491, deg =  6 */    363,    846,   1812,   2020,   2266,   3922, 
/* msg =    492, deg =  6 */    981,   1569,   2239,   2675,   3586,   3843, 
/* msg =    493, deg =  6 */    867,   1126,   1316,   1386,   2677,   3484, 
/* msg =    494, deg =  6 */    616,   1238,   2010,   2890,   3046,   3625, 
/* msg =    495, deg =  6 */    616,   1046,   2218,   2311,   2864,   3022, 
/* msg =    496, deg =  6 */    531,   1476,   2155,   2938,   3061,   3273, 
/* msg =    497, deg =  6 */    361,   1074,   1624,   2078,   2349,   2726, 
/* msg =    498, deg =  6 */   1764,   2042,   2056,   3217,   3587,   3836, 
/* msg =    499, deg =  6 */    528,   1281,   2023,   3659,   3849,   3879, 
/* msg =    500, deg =  6 */    374,   1547,   2417,   2494,   2918,   3350, 
/* msg =    501, deg =  6 */    212,    408,   1033,   1699,   2270,   3806, 
/* msg =    502, deg =  6 */    101,    154,    777,    820,   1788,   3574, 
/* msg =    503, deg =  6 */    696,   1627,   1830,   2274,   2669,   3337, 
/* msg =    504, deg =  6 */    664,   1442,   1896,   2055,   2545,   3481, 
/* msg =    505, deg =  6 */    391,   1794,   1870,   1974,   2438,   3977, 
/* msg =    506, deg =  6 */    766,   1817,   2061,   2912,   3189,   3981, 
/* msg =    507, deg =  6 */    206,    577,   2148,   2657,   2797,   3267, 
/* msg =    508, deg =  6 */    973,   1419,   1932,   2394,   2454,   2458, 
/* msg =    509, deg =  6 */    311,    321,    892,    907,   2886,   3066, 
/* msg =    510, deg =  6 */    708,   1547,   2101,   2939,   3329,   3448, 
/* msg =    511, deg =  6 */   1872,   1940,   2823,   3295,   3519,   3669, 
/* msg =    512, deg =  6 */    136,    227,   1405,   3034,   3146,   3835, 
/* msg =    513, deg =  6 */    994,   1043,   1698,   2717,   2930,   3232, 
/* msg =    514, deg =  6 */    944,    972,    991,   1267,   2231,   3218, 
/* msg =    515, deg =  6 */    345,    638,   1808,   2436,   2440,   3173, 
/* msg =    516, deg =  6 */    364,   2403,   2686,   2761,   2831,   3292, 
/* msg =    517, deg =  6 */    324,    594,   1372,   1681,   2374,   3292, 
/* msg =    518, deg =  6 */    401,    933,   1705,   1760,   2100,   2723, 
/* msg =    519, deg =  6 */    144,   1102,   1495,   2623,   2975,   3576, 
/* msg =    520, deg =  6 */    635,    814,   1967,   2904,   3436,   3976, 
/* msg =    521, deg =  6 */     10,    378,    546,   1133,   3738,   3839, 
/* msg =    522, deg =  6 */     21,    129,    798,   1348,   1754,   3379, 
/* msg =    523, deg =  6 */    182,    205,   1608,   2209,   2664,   3067, 
/* msg =    524, deg =  6 */     53,    625,   1148,   1508,   1624,   1733, 
/* msg =    525, deg =  6 */     22,    608,    965,   1776,   2135,   3215, 
/* msg =    526, deg =  6 */     68,    388,   1881,   2482,   2794,   3600, 
/* msg =    527, deg =  6 */    252,   1190,   2183,   3122,   3197,   3714, 
/* msg =    528, deg =  6 */   1309,   1590,   2329,   2902,   2922,   3618, 
/* msg =    529, deg =  6 */   1063,   1795,   1972,   2216,   3594,   3731, 
/* msg =    530, deg =  6 */   2122,   2137,   2183,   2389,   2859,   3229, 
/* msg =    531, deg =  6 */   2269,   2468,   2504,   2646,   2717,   3645, 
/* msg =    532, deg =  6 */    769,    836,   1197,   1809,   1944,   2324, 
/* msg =    533, deg =  6 */    857,   1223,   1261,   1382,   1984,   3560, 
/* msg =    534, deg =  6 */    514,    984,   1108,   1542,   2376,   2720, 
/* msg =    535, deg =  6 */    907,    915,    958,   1083,   2254,   2638, 
/* msg =    536, deg =  6 */   1024,   1169,   1307,   1650,   1692,   1769, 
/* msg =    537, deg =  6 */    395,   1286,   1478,   2801,   2977,   3643, 
/* msg =    538, deg =  6 */    453,    937,   2255,   2703,   3317,   3796, 
/* msg =    539, deg =  6 */     95,    258,   1367,   2496,   2527,   3190, 
/* msg =    540, deg =  6 */    181,    593,   2382,   2942,   3441,   3525, 
/* msg =    541, deg =  6 */    512,   1565,   1732,   1991,   2486,   3471, 
/* msg =    542, deg =  6 */    253,    811,   1031,   1493,   1689,   2811, 
/* msg =    543, deg =  6 */    216,   1231,   2046,   2819,   2925,   3718, 
/* msg =    544, deg =  6 */    658,    816,    874,   2126,   2466,   2537, 
/* msg =    545, deg =  6 */     29,   1018,   1758,   1851,   3375,   3920, 
/* msg =    546, deg =  6 */     24,   1641,   2214,   2883,   3008,   3328, 
/* msg =    547, deg =  6 */    650,   1214,   2272,   2670,   3268,   3531, 
/* msg =    548, deg =  6 */    786,    880,   1607,   2304,   3432,   3620, 
/* msg =    549, deg =  6 */    178,    197,    589,   1004,   2594,   3240, 
/* msg =    550, deg =  6 */    337,    607,   1060,   2639,   2683,   3296, 
/* msg =    551, deg =  6 */    445,    924,   1179,   2554,   3705,   3765, 
/* msg =    552, deg =  6 */    980,   1012,   1574,   2442,   2648,   2969, 
/* msg =    553, deg =  6 */    269,    714,    760,    807,   2763,   3792, 
/* msg =    554, deg =  6 */    417,    460,   2802,   3012,   3434,   3912, 
/* msg =    555, deg =  6 */    479,    961,   1982,   2184,   3441,   3993, 
/* msg =    556, deg =  6 */    327,    501,   1196,   1267,   1870,   1951, 
/* msg =    557, deg =  6 */    439,   1295,   1355,   1908,   1935,   2482, 
/* msg =    558, deg =  6 */   1207,   1256,   1503,   1566,   1707,   3579, 
/* msg =    559, deg =  6 */   1131,   1142,   1301,   2551,   2569,   3666, 
/* msg =    560, deg =  6 */    700,    785,   1096,   1510,   1934,   2370, 
/* msg =    561, deg =  6 */    363,    672,   1190,   2629,   2927,   3902, 
/* msg =    562, deg =  6 */   2022,   2179,   2401,   2480,   2641,   3056, 
/* msg =    563, deg =  6 */    288,   1027,   1231,   2825,   3621,   3625, 
/* msg =    564, deg =  6 */      2,    142,    169,    379,   1960,   2142, 
/* msg =    565, deg =  6 */   1519,   1626,   1712,   1750,   2419,   2956, 
/* msg =    566, deg =  6 */    417,    854,   1019,   2247,   2623,   2725, 
/* msg =    567, deg =  6 */    640,   1398,   1407,   2426,   2531,   3174, 
/* msg =    568, deg =  6 */    547,    974,   2768,   2980,   3382,   3473, 
/* msg =    569, deg =  6 */   1197,   1325,   1704,   2340,   3344,   3357, 
/* msg =    570, deg =  6 */    540,    648,    755,   1171,   1649,   2799, 
/* msg =    571, deg =  6 */    353,    602,    878,   1256,   1771,   2960, 
/* msg =    572, deg =  6 */    108,   1523,   2221,   2441,   2637,   3265, 
/* msg =    573, deg =  6 */    189,   1312,   2378,   2678,   3502,   3961, 
/* msg =    574, deg =  6 */    292,    508,   1373,   2984,   3275,   3720, 
/* msg =    575, deg =  6 */    419,    623,    679,    729,    865,   3263, 
/* msg =    576, deg =  6 */    483,   1492,   1722,   2446,   3903,   3941, 
/* msg =    577, deg =  6 */    884,   1432,   1951,   2097,   3553,   3789, 
/* msg =    578, deg =  6 */    314,    710,    717,    877,   1995,   2907, 
/* msg =    579, deg =  6 */     32,    676,   1798,   1869,   1927,   2408, 
/* msg =    580, deg =  6 */    843,   1992,   2941,   3555,   3589,   3906, 
/* msg =    581, deg =  6 */    456,   1972,   2037,   2259,   2506,   3123, 
/* msg =    582, deg =  6 */    155,    604,    804,    881,   2295,   3812, 
/* msg =    583, deg =  6 */     51,    304,    728,   3308,   3311,   3973, 
/* msg =    584, deg =  6 */   1730,   2162,   2421,   2838,   2881,   3633, 
/* msg =    585, deg =  6 */    167,    178,    268,    615,   1229,   2596, 
/* msg =    586, deg =  6 */    376,    713,   1345,   2251,   2662,   3667, 
/* msg =    587, deg =  6 */    589,    641,   1752,   3578,   3756,   3888, 
/* msg =    588, deg =  6 */    168,   1549,   1874,   2131,   2235,   3965, 
/* msg =    589, deg =  6 */   1107,   1367,   1807,   2385,   2787,   3331, 
/* msg =    590, deg =  6 */    171,    234,    950,   1629,   1715,   3199, 
/* msg =    591, deg =  6 */    374,    893,   1260,   2108,   2178,   2666, 
/* msg =    592, deg =  6 */    336,    470,   2470,   2920,   3410,   3623, 
/* msg =    593, deg =  6 */    896,   1385,   1623,   2564,   2840,   3086, 
/* msg =    594, deg =  6 */    149,   1392,   1677,   2053,   2941,   3544, 
/* msg =    595, deg =  6 */    308,    517,   1724,   2115,   2901,   3254, 
/* msg =    596, deg =  6 */    994,   1088,   1222,   1762,   2218,   3764, 
/* msg =    597, deg =  6 */    336,   1189,   2091,   2123,   2550,   3798, 
/* msg =    598, deg =  6 */    427,    824,    943,    976,   1241,   3058, 
/* msg =    599, deg =  6 */    611,   1277,   1502,   1505,   2415,   3890, 
/* msg =    600, deg =  6 */    164,    323,   2310,   2397,   2598,   3089, 
/* msg =    601, deg =  6 */     55,   1194,   1822,   1861,   2513,   3231, 
/* msg =    602, deg =  6 */    324,    505,    599,   1033,   3332,   3780, 
/* msg =    603, deg =  6 */    385,    842,    959,   1401,   3056,   3659, 
/* msg =    604, deg =  6 */     19,    295,    612,    725,   1172,   1283, 
/* msg =    605, deg =  6 */    267,    325,    603,    726,   1739,   2851, 
/* msg =    606, deg =  6 */    213,    237,   1111,   1912,   1921,   2494, 
/* msg =    607, deg =  6 */    796,    818,   2913,   3411,   3662,   3869, 
/* msg =    608, deg =  6 */    111,    371,   1000,   2152,   2696,   3721, 
/* msg =    609, deg =  6 */    273,   2903,   2957,   3047,   3415,   3513, 
/* msg =    610, deg =  6 */    251,   1613,   2541,   2657,   3104,   3655, 
/* msg =    611, deg =  6 */    368,   1226,   1610,   1770,   2432,   3173, 
/* msg =    612, deg =  6 */   2944,   3029,   3224,   3243,   3484,   3899, 
/* msg =    613, deg =  6 */    504,    815,    969,   1975,   2192,   3282, 
/* msg =    614, deg =  6 */   1120,   1495,   1555,   2876,   2992,   3704, 
/* msg =    615, deg =  6 */    997,   1759,   2512,   3181,   3348,   3611, 
/* msg =    616, deg =  6 */    123,    250,   1544,   1667,   3080,   3862, 
/* msg =    617, deg =  6 */   1635,   2068,   2573,   2790,   3269,   3985, 
/* msg =    618, deg =  6 */    516,    764,    888,   1122,   2318,   3725, 
/* msg =    619, deg =  6 */   1717,   2158,   2487,   2514,   3101,   3365, 
/* msg =    620, deg =  6 */     87,    596,    732,    843,   2935,   3917, 
/* msg =    621, deg =  6 */    567,   1789,   2399,   2575,   2619,   3495, 
/* msg =    622, deg =  6 */    167,    244,    621,    992,   1606,   2019, 
/* msg =    623, deg =  6 */    595,   1831,   2100,   2402,   3129,   3983, 
/* msg =    624, deg =  6 */    398,    485,    572,   1144,   2282,   3741, 
/* msg =    625, deg =  6 */     44,    445,   2849,   3178,   3184,   3686, 
/* msg =    626, deg =  6 */    264,    564,    662,    724,   3235,   3515, 
/* msg =    627, deg =  6 */    121,    153,    396,    411,   2732,   3473, 
/* msg =    628, deg =  6 */    835,   1647,   1830,   2242,   2578,   2611, 
/* msg =    629, deg =  6 */    242,    466,    995,   1418,   2734,   2962, 
/* msg =    630, deg =  6 */    205,    531,   1618,   2782,   3261,   3860, 
/* msg =    631, deg =  6 */     97,   1623,   1683,   2756,   3528,   3988, 
/* msg =    632, deg =  6 */     12,    203,    486,   1089,   2265,   2384, 
/* msg =    633, deg =  6 */    645,    830,   1725,   1909,   3074,   3152, 
/* msg =    634, deg =  6 */    174,   1423,   2389,   3026,   3603,   3972, 
/* msg =    635, deg =  6 */     31,    432,   1685,   3526,   3737,   3954, 
/* msg =    636, deg =  6 */    190,   1086,   1872,   2028,   2272,   2909, 
/* msg =    637, deg =  6 */    484,    552,    619,    888,   1550,   2145, 
/* msg =    638, deg =  6 */    105,    382,    764,   1249,   2866,   3378, 
/* msg =    639, deg =  6 */   1234,   1787,   2223,   2745,   3245,   3651, 
/* msg =    640, deg =  6 */    193,    194,    957,   3094,   3172,   3575, 
/* msg =    641, deg =  6 */    146,    653,    655,    950,   1165,   3924, 
/* msg =    642, deg =  6 */    652,   1391,   2879,   3082,   3362,   3465, 
/* msg =    643, deg =  6 */   1520,   2060,   2398,   2548,   3794,   3847, 
/* msg =    644, deg =  6 */    266,    902,   1189,   2220,   3422,   3609, 
/* msg =    645, deg =  6 */    289,   1659,   1738,   2447,   3385,   3673, 
/* msg =    646, deg =  6 */    441,    841,   2181,   2409,   3192,   3563, 
/* msg =    647, deg =  6 */    418,    451,    474,   2988,   3451,   3567, 
/* msg =    648, deg =  6 */    114,    404,   1003,   2916,   3193,   3394, 
/* msg =    649, deg =  6 */    602,   1106,   1318,   2576,   2672,   3530, 
/* msg =    650, deg =  6 */    501,   1005,   1366,   2820,   3444,   3991, 
/* msg =    651, deg =  6 */    612,   1162,   1206,   2061,   3398,   3491, 
/* msg =    652, deg =  6 */    139,    697,    934,    986,   3533,   3758, 
/* msg =    653, deg =  6 */    110,    279,   2313,   2608,   2884,   3973, 
/* msg =    654, deg =  6 */   1152,   1864,   1926,   2006,   2586,   3116, 
/* msg =    655, deg =  6 */    914,   1271,   1306,   2590,   3698,   3997, 
/* msg =    656, deg =  6 */   1073,   1379,   2630,   2905,   3258,   3609, 
/* msg =    657, deg =  6 */    505,    690,    863,   1143,   3301,   3390, 
/* msg =    658, deg =  6 */    822,   1272,   1915,   2098,   2849,   3744, 
/* msg =    659, deg =  6 */    239,    909,   1083,   1230,   2650,   3259, 
/* msg =    660, deg =  6 */     84,    385,   1379,   2414,   2744,   2916, 
/* msg =    661, deg =  6 */   2086,   2116,   2741,   2906,   2953,   3625, 
/* msg =    662, deg =  6 */     96,    839,   1988,   2458,   3131,   3246, 
/* msg =    663, deg =  6 */    273,    444,   1400,   1695,   2375,   3707, 
/* msg =    664, deg =  6 */      0,    307,    504,    643,   2664,   3664, 
/* msg =    665, deg =  6 */    977,   1017,   2619,   2644,   3393,   3918, 
/* msg =    666, deg =  6 */    320,   1059,   2232,   2556,   2922,   3836, 
/* msg =    667, deg =  6 */    414,   2020,   2116,   2913,   3217,   3402, 
/* msg =    668, deg =  6 */    336,    920,    996,   1697,   2321,   2586, 
/* msg =    669, deg =  6 */    254,   1586,   2488,   2769,   3740,   3782, 
/* msg =    670, deg =  6 */   1351,   1976,   2044,   2063,   2483,   3896, 
/* msg =    671, deg =  6 */    522,    907,   1834,   2522,   2803,   3035, 
/* msg =    672, deg =  6 */   1003,   1006,   2234,   2346,   3660,   3886, 
/* msg =    673, deg =  6 */    393,    835,    928,   2116,   2120,   2767, 
/* msg =    674, deg =  6 */    511,   1041,   1281,   1557,   2355,   3730, 
/* msg =    675, deg =  6 */    851,   1313,   1604,   2406,   2613,   3844, 
/* msg =    676, deg =  6 */     75,   1990,   2176,   2241,   3568,   3661, 
/* msg =    677, deg =  6 */    311,    442,    716,   1021,   2455,   3918, 
/* msg =    678, deg =  6 */    539,   1338,   2280,   2727,   3119,   3725, 
/* msg =    679, deg =  6 */    141,   1797,   2448,   2814,   3656,   3881, 
/* msg =    680, deg =  6 */   1117,   1540,   2026,   3045,   3160,   3713, 
/* msg =    681, deg =  6 */     94,    605,   1481,   2596,   2681,   3326, 
/* msg =    682, deg =  6 */    689,   1193,   1225,   2383,   2609,   3569, 
/* msg =    683, deg =  6 */    365,   1306,   1629,   2351,   2564,   2668, 
/* msg =    684, deg =  6 */    609,    792,   2436,   3423,   3545,   3599, 
/* msg =    685, deg =  6 */    613,    750,   2167,   3412,   3871,   3889, 
/* msg =    686, deg =  6 */   1775,   2184,   2747,   3037,   3763,   3782, 
/* msg =    687, deg =  6 */   1224,   1489,   2139,   3187,   3675,   3756, 
/* msg =    688, deg =  6 */    272,   1135,   1401,   3103,   3278,   3878, 
/* msg =    689, deg =  6 */   1160,   1535,   1932,   2047,   2544,   3758, 
/* msg =    690, deg =  6 */    397,   1256,   1617,   1810,   3327,   3491, 
/* msg =    691, deg =  6 */    566,   1766,   2291,   2615,   2630,   2743, 
/* msg =    692, deg =  6 */    230,    631,    980,   1969,   3742,   3905, 
/* msg =    693, deg =  6 */    338,   1981,   2540,   3231,   3701,   3964, 
/* msg =    694, deg =  6 */   1210,   1958,   2393,   2425,   3490,   3933, 
/* msg =    695, deg =  6 */    773,    778,   1263,   2007,   2231,   2691, 
/* msg =    696, deg =  6 */    335,    755,    796,    819,   2718,   3081, 
/* msg =    697, deg =  6 */    299,    397,   1423,   2083,   2112,   2976, 
/* msg =    698, deg =  6 */     63,    384,    727,   1846,   2528,   3030, 
/* msg =    699, deg =  6 */    331,    774,   1388,   1949,   2467,   3236, 
/* msg =    700, deg =  6 */    449,    576,   1514,   1938,   2507,   2923, 
/* msg =    701, deg =  6 */    193,    291,   1894,   2265,   2616,   3955, 
/* msg =    702, deg =  6 */    486,   1032,   1876,   2667,   2954,   3853, 
/* msg =    703, deg =  6 */    641,   1239,   1691,   2533,   3040,   3130, 
/* msg =    704, deg =  6 */    637,   1923,   2068,   2482,   3440,   3639, 
/* msg =    705, deg =  6 */    109,   1527,   1541,   1661,   2015,   3414, 
/* msg =    706, deg =  6 */    195,    211,   1039,   1978,   2949,   3267, 
/* msg =    707, deg =  6 */    674,   1851,   2058,   2070,   2639,   3057, 
/* msg =    708, deg =  6 */   1140,   1238,   1433,   2309,   2817,   3540, 
/* msg =    709, deg =  6 */    236,    532,   1109,   2256,   2343,   2529, 
/* msg =    710, deg =  6 */     24,    161,   2295,   3533,   3681,   3927, 
/* msg =    711, deg =  6 */     36,     81,   1080,   1487,   2721,   3106, 
/* msg =    712, deg =  6 */    324,    351,   1464,   2083,   2813,   3563, 
/* msg =    713, deg =  6 */    102,    171,    642,   1462,   2687,   3144, 
/* msg =    714, deg =  6 */    221,   2011,   2893,   3708,   3823,   3941, 
/* msg =    715, deg =  6 */     31,   1718,   1824,   2033,   3043,   3585, 
/* msg =    716, deg =  6 */    646,   1336,   2801,   3511,   3743,   3948, 
/* msg =    717, deg =  6 */    708,   2362,   2642,   3331,   3648,   3898, 
/* msg =    718, deg =  6 */   1490,   1570,   2512,   2761,   2800,   3691, 
/* msg =    719, deg =  6 */    459,   1375,   1759,   2626,   2637,   3848, 
/* msg =    720, deg =  6 */    103,    167,   1161,   1962,   3214,   3908, 
/* msg =    721, deg =  6 */   1142,   1448,   2064,   3506,   3564,   3807, 
/* msg =    722, deg =  6 */    656,   1334,   1782,   2323,   3172,   3964, 
/* msg =    723, deg =  6 */   1174,   2185,   2219,   2309,   2699,   2936, 
/* msg =    724, deg =  6 */   1185,   1902,   2782,   3498,   3514,   3789, 
/* msg =    725, deg =  6 */    797,   1618,   1887,   2561,   3131,   3366, 
/* msg =    726, deg =  6 */    753,    923,   1598,   2588,   2783,   3189, 
/* msg =    727, deg =  6 */   1015,   1204,   1580,   2907,   3393,   3683, 
/* msg =    728, deg =  6 */    112,    976,   2980,   3776,   3814,   3834, 
/* msg =    729, deg =  6 */    628,   3162,   3538,   3577,   3599,   3664, 
/* msg =    730, deg =  6 */    542,   1059,   1195,   2664,   2808,   3423, 
/* msg =    731, deg =  6 */    742,    906,   2867,   3005,   3428,   3447, 
/* msg =    732, deg =  6 */    931,   1878,   1959,   2814,   3765,   3905, 
/* msg =    733, deg =  6 */     67,    302,    509,    804,   1951,   3792, 
/* msg =    734, deg =  6 */    613,    728,    953,   1652,   1913,   2614, 
/* msg =    735, deg =  6 */    386,    420,    632,   1087,   1820,   2480, 
/* msg =    736, deg =  6 */   1533,   1608,   1983,   2815,   3475,   3613, 
/* msg =    737, deg =  6 */    315,    420,    618,   1472,   3006,   3852, 
/* msg =    738, deg =  6 */    163,    190,   1803,   2194,   2404,   2810, 
/* msg =    739, deg =  6 */   1672,   1783,   2300,   2372,   2473,   3111, 
/* msg =    740, deg =  6 */    797,    939,   1242,   1823,   2621,   2760, 
/* msg =    741, deg =  6 */    795,   1606,   1626,   1777,   1911,   3949, 
/* msg =    742, deg =  6 */    184,    462,   1403,   2945,   3035,   3658, 
/* msg =    743, deg =  6 */   1768,   2288,   2543,   2559,   2691,   3553, 
/* msg =    744, deg =  6 */   1663,   1904,   2265,   2520,   2839,   3830, 
/* msg =    745, deg =  6 */     91,    427,    468,   2419,   3387,   3586, 
/* msg =    746, deg =  6 */    627,    863,   1368,   2764,   3408,   3826, 
/* msg =    747, deg =  6 */   1297,   1756,   2043,   2651,   3280,   3390, 
/* msg =    748, deg =  6 */    180,   1402,   2998,   3061,   3381,   3741, 
/* msg =    749, deg =  6 */   1161,   1438,   2337,   2694,   3565,   3632, 
/* msg =    750, deg =  6 */   1081,   1178,   1463,   1994,   2010,   3679, 
/* msg =    751, deg =  6 */    815,   2527,   2818,   3165,   3685,   3994, 
/* msg =    752, deg =  6 */    174,   1099,   1746,   2244,   2372,   3372, 
/* msg =    753, deg =  6 */    297,    838,   1695,   1787,   2086,   3956, 
/* msg =    754, deg =  6 */    328,    429,   1038,   1354,   2325,   2903, 
/* msg =    755, deg =  6 */   1857,   2263,   3242,   3395,   3648,   3980, 
/* msg =    756, deg =  6 */    716,   1756,   1955,   2798,   3462,   3668, 
/* msg =    757, deg =  6 */     98,    192,    821,   1212,   1551,   3416, 
/* msg =    758, deg =  6 */     83,   2424,   2584,   2999,   3062,   3147, 
/* msg =    759, deg =  6 */    440,   1377,   1587,   1632,   2306,   2553, 
/* msg =    760, deg =  6 */      6,   2788,   3302,   3444,   3518,   3951, 
/* msg =    761, deg =  6 */     57,   1304,   1748,   3117,   3215,   3697, 
/* msg =    762, deg =  6 */     48,   2163,   2638,   3054,   3585,   3766, 
/* msg =    763, deg =  6 */    204,    613,   1639,   2071,   2462,   3838, 
/* msg =    764, deg =  6 */    559,    898,   1036,   2000,   3272,   3340, 
/* msg =    765, deg =  6 */    426,   1433,   1801,   1982,   2719,   2889, 
/* msg =    766, deg =  6 */   1689,   2038,   2949,   3070,   3699,   3880, 
/* msg =    767, deg =  6 */    312,    766,   1700,   2243,   3485,   3781, 
/* msg =    768, deg =  6 */     64,    228,   1977,   2982,   3059,   3314, 
/* msg =    769, deg =  6 */    313,    683,   1863,   3385,   3510,   3767, 
/* msg =    770, deg =  6 */    535,    669,   1930,   2892,   3759,   3795, 
/* msg =    771, deg =  6 */    266,    575,   1631,   2290,   3661,   3931, 
/* msg =    772, deg =  6 */    875,   1154,   1752,   2857,   3132,   3917, 
/* msg =    773, deg =  6 */    286,    709,    839,   1036,   2061,   3124, 
/* msg =    774, deg =  6 */   1524,   1659,   2257,   2400,   3192,   3714, 
/* msg =    775, deg =  6 */    672,   1014,   1323,   1580,   1991,   2869, 
/* msg =    776, deg =  6 */    461,    641,   1436,   1474,   3406,   3954, 
/* msg =    777, deg =  6 */    346,    386,   1104,   1726,   1857,   3721, 
/* msg =    778, deg =  6 */    103,    157,    590,   1174,   2297,   2797, 
/* msg =    779, deg =  6 */    364,   1550,   1790,   2895,   2971,   3607, 
/* msg =    780, deg =  6 */    224,   2241,   2412,   2775,   2990,   3258, 
/* msg =    781, deg =  6 */    429,    850,    954,   1018,   1604,   3786, 
/* msg =    782, deg =  6 */   1066,   1589,   2170,   2472,   3454,   3716, 
/* msg =    783, deg =  6 */    748,    870,   2030,   2186,   2278,   3237, 
/* msg =    784, deg =  6 */   1017,   1979,   2136,   2137,   3183,   3932, 
/* msg =    785, deg =  6 */     29,   1153,   2039,   2524,   2871,   3315, 
/* msg =    786, deg =  6 */    180,    516,   2004,   2204,   2633,   3643, 
/* msg =    787, deg =  6 */   1097,   1374,   1459,   1776,   1910,   3466, 
/* msg =    788, deg =  6 */    145,    522,   1746,   1992,   3077,   3506, 
/* msg =    789, deg =  6 */    310,   1012,   2655,   2729,   2839,   2946, 
/* msg =    790, deg =  6 */    339,    706,    718,   1262,   2580,   3118, 
/* msg =    791, deg =  6 */    224,    692,    947,    948,   1552,   3796, 
/* msg =    792, deg =  6 */     10,   2091,   2255,   2933,   3121,   3900, 
/* msg =    793, deg =  6 */     32,    705,   1001,   1182,   3000,   3218, 
/* msg =    794, deg =  6 */    439,   1459,   2671,   3029,   3113,   3168, 
/* msg =    795, deg =  6 */   1087,   2269,   2337,   3551,   3708,   3916, 
/* msg =    796, deg =  6 */    585,   1007,   1849,   2335,   3430,   3735, 
/* msg =    797, deg =  6 */    497,   1429,   1768,   3205,   3368,   3771, 
/* msg =    798, deg =  6 */    979,   1532,   1670,   1894,   1924,   1955, 
/* msg =    799, deg =  6 */      3,    992,   1149,   1277,   2401,   2557, 
/* msg =    800, deg =  6 */    990,   2041,   2742,   3144,   3702,   3873, 
/* msg =    801, deg =  6 */     97,    147,    630,   1792,   2547,   3936, 
/* msg =    802, deg =  6 */    191,   1916,   2320,   2507,   3012,   3751, 
/* msg =    803, deg =  6 */    393,    529,    983,   1259,   2076,   3842, 
/* msg =    804, deg =  6 */    180,    376,   1366,   1545,   2616,   2993, 
/* msg =    805, deg =  6 */     76,    477,   1119,   1726,   2552,   2781, 
/* msg =    806, deg =  6 */    115,    934,   1533,   2080,   2539,   2954, 
/* msg =    807, deg =  6 */    686,    701,   1716,   2730,   3651,   3908, 
/* msg =    808, deg =  6 */    155,    294,   1572,   1957,   2981,   3719, 
/* msg =    809, deg =  6 */   1032,   1086,   1329,   2031,   2327,   2377, 
/* msg =    810, deg =  6 */     54,    730,    996,   1677,   2712,   3250, 
/* msg =    811, deg =  6 */    618,    702,   2854,   2951,   3294,   3389, 
/* msg =    812, deg =  6 */     65,   1687,   2016,   2170,   2881,   3828, 
/* msg =    813, deg =  6 */     68,    489,   1282,   1872,   2686,   2754, 
/* msg =    814, deg =  6 */    539,    899,   1862,   1993,   2229,   3889, 
/* msg =    815, deg =  6 */    643,    962,   1220,   1638,   2353,   3939, 
/* msg =    816, deg =  6 */    404,   1322,   1961,   2041,   2211,   3354, 
/* msg =    817, deg =  6 */     80,    375,    441,   1522,   3056,   3984, 
/* msg =    818, deg =  6 */    500,   1150,   1152,   2295,   2746,   3010, 
/* msg =    819, deg =  6 */    578,   1439,   1732,   2811,   3319,   3984, 
/* msg =    820, deg =  6 */    422,   1440,   2054,   2268,   2473,   3387, 
/* msg =    821, deg =  6 */    119,   1181,   1322,   2321,   3321,   3790, 
/* msg =    822, deg =  6 */    741,   2012,   2259,   2262,   2350,   3868, 
/* msg =    823, deg =  6 */    669,   1345,   1387,   2627,   3210,   3235, 
/* msg =    824, deg =  6 */    115,   1338,   1811,   3686,   3779,   3866, 
/* msg =    825, deg =  6 */    777,   1516,   1658,   2083,   2210,   2898, 
/* msg =    826, deg =  6 */    911,   1703,   2430,   2862,   2868,   3949, 
/* msg =    827, deg =  6 */    434,    702,   1962,   2375,   2591,   2702, 
/* msg =    828, deg =  6 */    580,    924,   2297,   2597,   2950,   3871, 
/* msg =    829, deg =  6 */   1155,   1420,   2832,   2961,   3248,   3312, 
/* msg =    830, deg =  6 */    651,    671,   2906,   3091,   3276,   3487, 
/* msg =    831, deg =  6 */    553,   1244,   1353,   1863,   3018,   3093, 
/* msg =    832, deg =  6 */    503,    936,   2826,   3021,   3280,   3494, 
/* msg =    833, deg =  6 */    268,    617,   1199,   1816,   2471,   3164, 
/* msg =    834, deg =  6 */    828,   1854,   2033,   2099,   2555,   3485, 
/* msg =    835, deg =  6 */   1492,   1577,   1633,   3173,   3630,   3798, 
/* msg =    836, deg =  6 */    326,   1079,   1457,   1843,   3223,   3517, 
/* msg =    837, deg =  6 */     74,   1975,   2364,   2506,   3590,   3634, 
/* msg =    838, deg =  6 */   1880,   1941,   2714,   3800,   3869,   3959, 
/* msg =    839, deg =  6 */    159,    965,   1278,   1422,   3139,   3590, 
/* msg =    840, deg =  6 */    874,    992,   1176,   3397,   3744,   3993, 
/* msg =    841, deg =  6 */    242,    278,   1250,   2369,   2800,   3194, 
/* msg =    842, deg =  6 */    204,    436,    635,   1885,   3486,   3742, 
/* msg =    843, deg =  6 */    894,   1903,   2135,   3260,   3707,   3778, 
/* msg =    844, deg =  6 */      1,   1167,   2470,   2829,   3562,   3751, 
/* msg =    845, deg =  6 */    157,    299,   1379,   2943,   3389,   3500, 
/* msg =    846, deg =  6 */    435,   2164,   2392,   3159,   3174,   3229, 
/* msg =    847, deg =  6 */    671,   1361,   2253,   2547,   2708,   3807, 
/* msg =    848, deg =  6 */   1162,   1195,   1497,   2356,   3616,   3747, 
/* msg =    849, deg =  6 */    890,    955,   1392,   2347,   2474,   2581, 
/* msg =    850, deg =  6 */    439,    457,   1539,   2066,   2556,   3433, 
/* msg =    851, deg =  6 */    149,   1129,   1673,   2163,   2418,   2484, 
/* msg =    852, deg =  6 */    786,    844,   1803,   2190,   2911,   3100, 
/* msg =    853, deg =  6 */    648,    657,   2457,   2497,   3063,   3085, 
/* msg =    854, deg =  6 */    539,    952,   1061,   2124,   2364,   2710, 
/* msg =    855, deg =  6 */    475,    729,    761,   1063,   2038,   3634, 
/* msg =    856, deg =  6 */    909,   1172,   1945,   2842,   3100,   3774, 
/* msg =    857, deg =  6 */    133,    228,    344,    790,   1518,   3591, 
/* msg =    858, deg =  6 */     60,    259,   1525,   1635,   3195,   3500, 
/* msg =    859, deg =  6 */    173,   1139,   1604,   2141,   2688,   3804, 
/* msg =    860, deg =  6 */      7,    485,   2574,   3148,   3209,   3580, 
/* msg =    861, deg =  6 */     45,    177,    670,   1050,   3614,   3805, 
/* msg =    862, deg =  6 */     51,   1242,   1342,   1805,   3386,   3958, 
/* msg =    863, deg =  6 */    378,   1573,   1660,   1666,   3888,   3928, 
/* msg =    864, deg =  6 */    443,    693,   1139,   2101,   2676,   3881, 
/* msg =    865, deg =  6 */    653,   1033,   1101,   1396,   3563,   3978, 
/* msg =    866, deg =  6 */    589,    897,   1298,   1480,   1645,   2214, 
/* msg =    867, deg =  6 */    659,   1477,   1899,   3565,   3935,   3990, 
/* msg =    868, deg =  6 */    646,    987,   1956,   2313,   2779,   3385, 
/* msg =    869, deg =  6 */    780,    872,   2299,   2865,   3128,   3331, 
/* msg =    870, deg =  6 */    510,    771,   3253,   3322,   3417,   3946, 
/* msg =    871, deg =  6 */     43,    371,   2169,   2550,   2793,   3706, 
/* msg =    872, deg =  6 */   2189,   2299,   3078,   3615,   3853,   3973, 
/* msg =    873, deg =  6 */    143,    185,   1828,   3647,   3816,   3950, 
/* msg =    874, deg =  6 */    362,   1039,   2523,   2572,   3179,   3257, 
/* msg =    875, deg =  6 */    148,    196,   2990,   3177,   3736,   3865, 
/* msg =    876, deg =  6 */    220,   1865,   2340,   2545,   3137,   3861, 
/* msg =    877, deg =  6 */     96,    973,   1508,   2253,   3063,   3805, 
/* msg =    878, deg =  6 */    391,   1355,   1523,   2477,   2488,   3526, 
/* msg =    879, deg =  6 */    701,    719,   1075,   1153,   1631,   3763, 
/* msg =    880, deg =  6 */    424,   1075,   2484,   3059,   3297,   3965, 
/* msg =    881, deg =  6 */   1047,   1146,   1250,   2133,   2431,   3072, 
/* msg =    882, deg =  6 */   1380,   3148,   3158,   3204,   3556,   3719, 
/* msg =    883, deg =  6 */     89,    144,    793,   2073,   2411,   3353, 
/* msg =    884, deg =  6 */     38,    480,    721,   1507,   3527,   3641, 
/* msg =    885, deg =  6 */   1278,   1409,   3188,   3304,   3446,   3668, 
/* msg =    886, deg =  6 */    224,    227,   1790,   2336,   3088,   3290, 
/* msg =    887, deg =  6 */    392,   1213,   1451,   2097,   2815,   3440, 
/* msg =    888, deg =  6 */    845,    920,   1047,   1747,   2695,   2935, 
/* msg =    889, deg =  6 */      4,    884,   1592,   1594,   2741,   2954, 
/* msg =    890, deg =  6 */    523,   2250,   2637,   3097,   3120,   3876, 
/* msg =    891, deg =  6 */    448,   1646,   2475,   2645,   2958,   3082, 
/* msg =    892, deg =  6 */    487,   1417,   1768,   2062,   2149,   3742, 
/* msg =    893, deg =  6 */    283,   1035,   2227,   3344,   3356,   3700, 
/* msg =    894, deg =  6 */    508,   1354,   1808,   1895,   2028,   2786, 
/* msg =    895, deg =  6 */    497,    676,    677,   1512,   1800,   3065, 
/* msg =    896, deg =  6 */    873,   1131,   1447,   1820,   2219,   3404, 
/* msg =    897, deg =  6 */     86,    134,    887,    896,    940,   2921, 
/* msg =    898, deg =  6 */     83,    313,    566,   1025,   1495,   2785, 
/* msg =    899, deg =  6 */    494,    915,   1093,   2231,   2784,   3036, 
/* msg =    900, deg =  6 */     43,    233,    698,   1487,   3646,   3797, 
/* msg =    901, deg =  6 */    117,    486,    558,   3429,   3448,   3834, 
/* msg =    902, deg =  6 */    569,   2148,   2768,   3270,   3282,   3817, 
/* msg =    903, deg =  6 */    275,    565,   1841,   1877,   2412,   3883, 
/* msg =    904, deg =  6 */   1280,   1826,   2236,   2536,   3207,   3950, 
/* msg =    905, deg =  6 */   1137,   1316,   1745,   2333,   3403,   3498, 
/* msg =    906, deg =  6 */    766,   1026,   2571,   2813,   3332,   3355, 
/* msg =    907, deg =  6 */     19,   1428,   3057,   3414,   3697,   3738, 
/* msg =    908, deg =  6 */    380,   1067,   2216,   2352,   3487,   3840, 
/* msg =    909, deg =  6 */   1069,   1225,   2661,   2678,   3501,   3760, 
/* msg =    910, deg =  6 */   1702,   1818,   2780,   3068,   3297,   3934, 
/* msg =    911, deg =  6 */    290,    673,    690,    776,   2499,   2883, 
/* msg =    912, deg =  6 */    774,   1445,   1771,   2720,   3055,   3751, 
/* msg =    913, deg =  6 */    121,    126,   1835,   1952,   2465,   2760, 
/* msg =    914, deg =  6 */     15,    118,   1824,   2490,   2941,   3158, 
/* msg =    915, deg =  6 */    109,   1363,   1514,   2208,   2516,   2795, 
/* msg =    916, deg =  6 */     27,    537,    705,   1340,   1968,   3287, 
/* msg =    917, deg =  6 */    929,    960,   1643,   1667,   2833,   3931, 
/* msg =    918, deg =  6 */    268,    966,   1105,   3887,   3944,   3965, 
/* msg =    919, deg =  6 */    812,   1299,   1347,   1667,   3655,   3745, 
/* msg =    920, deg =  6 */    453,    753,   1652,   2607,   3799,   3951, 
/* msg =    921, deg =  6 */    506,    962,   1633,   3824,   3831,   3963, 
/* msg =    922, deg =  6 */    884,   2293,   2989,   3086,   3532,   3597, 
/* msg =    923, deg =  6 */   1122,   1996,   2680,   3093,   3122,   3223, 
/* msg =    924, deg =  6 */   1289,   2014,   2873,   3330,   3337,   3728, 
/* msg =    925, deg =  6 */    569,    579,    777,   2809,   3352,   3849, 
/* msg =    926, deg =  6 */    679,   2862,   3023,   3194,   3762,   3997, 
/* msg =    927, deg =  6 */    262,   1876,   3076,   3102,   3128,   3246, 
/* msg =    928, deg =  6 */    587,   1669,   1720,   1987,   2677,   2752, 
/* msg =    929, deg =  6 */   1939,   2784,   2824,   3138,   3207,   3894, 
/* msg =    930, deg =  6 */    765,   1104,   1530,   2151,   2462,   3347, 
/* msg =    931, deg =  6 */     85,   1046,   2733,   2787,   2819,   3762, 
/* msg =    932, deg =  6 */   1245,   1578,   1806,   3103,   3451,   3770, 
/* msg =    933, deg =  6 */   1900,   2109,   2314,   3765,   3934,   3999, 
/* msg =    934, deg =  6 */    215,    344,    369,    787,    861,   1895, 
/* msg =    935, deg =  6 */    586,    936,   1321,   1445,   1536,   3203, 
/* msg =    936, deg =  6 */    715,    976,   1664,   2776,   3503,   3886, 
/* msg =    937, deg =  6 */    517,    678,   1354,   1540,   2797,   3555, 
/* msg =    938, deg =  6 */    381,   2699,   3325,   3421,   3470,   3833, 
/* msg =    939, deg =  6 */   1144,   1449,   1920,   2270,   2349,   2842, 
/* msg =    940, deg =  6 */    480,   1547,   2529,   2706,   2838,   3001, 
/* msg =    941, deg =  6 */   1343,   1513,   1798,   2422,   3589,   3940, 
/* msg =    942, deg =  6 */    294,    754,   1066,   1147,   1462,   3509, 
/* msg =    943, deg =  6 */    213,   1857,   2396,   3120,   3171,   3724, 
/* msg =    944, deg =  6 */   1255,   1552,   1907,   2183,   2334,   3872, 
/* msg =    945, deg =  6 */    628,   1042,   1560,   2027,   2769,   2812, 
/* msg =    946, deg =  6 */    218,    357,    502,   1037,   2975,   3432, 
/* msg =    947, deg =  6 */     97,    104,    840,    850,   3342,   3467, 
/* msg =    948, deg =  6 */    262,    733,    963,   3248,   3251,   3678, 
/* msg =    949, deg =  6 */    263,    799,    881,   2878,   2944,   3996, 
/* msg =    950, deg =  6 */    257,    756,   1767,   1902,   2749,   2887, 
/* msg =    951, deg =  6 */    756,   1685,   2147,   2269,   3051,   3285, 
/* msg =    952, deg =  6 */    366,    985,   1163,   1949,   2156,   3222, 
/* msg =    953, deg =  6 */    210,   1849,   2831,   2835,   3015,   3459, 
/* msg =    954, deg =  6 */    961,   1970,   2670,   2685,   2867,   3864, 
/* msg =    955, deg =  6 */     72,    772,    962,   1006,   2238,   2691, 
/* msg =    956, deg =  6 */    197,   1504,   2179,   2483,   2653,   3115, 
/* msg =    957, deg =  6 */   1365,   2279,   2609,   2766,   3106,   3825, 
/* msg =    958, deg =  6 */    657,    666,   1101,   2868,   3300,   3872, 
/* msg =    959, deg =  6 */   1680,   2330,   2633,   2736,   2957,   3723, 
/* msg =    960, deg =  6 */    720,    788,   2557,   3282,   3542,   3860, 
/* msg =    961, deg =  6 */    735,    888,   1794,   1911,   2252,   3310, 
/* msg =    962, deg =  6 */    723,   1511,   2322,   2503,   2738,   3247, 
/* msg =    963, deg =  6 */    191,    767,   1301,   1558,   2005,   2309, 
/* msg =    964, deg =  6 */    135,    696,   1653,   1969,   3211,   3367, 
/* msg =    965, deg =  6 */    699,    810,   1717,   2302,   2551,   2767, 
/* msg =    966, deg =  6 */    558,   1123,   1827,   2306,   2395,   3579, 
/* msg =    967, deg =  6 */    119,    212,    286,    501,   2315,   2656, 
/* msg =    968, deg =  6 */    471,   2132,   2254,   2350,   2806,   2836, 
/* msg =    969, deg =  6 */   1217,   2548,   3043,   3135,   3839,   3960, 
/* msg =    970, deg =  6 */      4,    226,    281,   1092,   2157,   3915, 
/* msg =    971, deg =  6 */   2102,   2263,   2322,   3025,   3175,   3893, 
/* msg =    972, deg =  6 */    413,    824,    989,   1282,   1404,   3351, 
/* msg =    973, deg =  6 */    496,   1664,   1764,   1917,   2513,   3754, 
/* msg =    974, deg =  6 */    382,    975,   2162,   2979,   2998,   3772, 
/* msg =    975, deg =  6 */    260,    689,   1778,   2058,   2880,   3524, 
/* msg =    976, deg =  6 */    303,   1310,   2210,   2390,   2491,   2714, 
/* msg =    977, deg =  6 */    821,   2226,   2908,   2994,   3180,   3912, 
/* msg =    978, deg =  6 */     25,    101,    800,   1184,   1398,   2910, 
/* msg =    979, deg =  6 */    540,   2094,   2933,   3670,   3747,   3752, 
/* msg =    980, deg =  6 */    553,    571,   2580,   2737,   3239,   3924, 
/* msg =    981, deg =  6 */    317,    405,    762,   1829,   3132,   3593, 
/* msg =    982, deg =  6 */    681,    702,   1042,   2199,   2267,   2803, 
/* msg =    983, deg =  6 */    132,    277,    423,    761,   2139,   2410, 
/* msg =    984, deg =  6 */    534,    809,   1880,   1999,   2154,   3436, 
/* msg =    985, deg =  6 */    106,    731,   1437,   3011,   3298,   3398, 
/* msg =    986, deg =  6 */   1025,   2052,   2531,   3403,   3407,   3652, 
/* msg =    987, deg =  6 */    124,   1335,   1905,   2301,   2882,   3711, 
/* msg =    988, deg =  6 */    707,    782,   1145,   2804,   3088,   3309, 
/* msg =    989, deg =  6 */     30,    177,    495,   1829,   1979,   2019, 
/* msg =    990, deg =  6 */    120,   1507,   1584,   2981,   3418,   3615, 
/* msg =    991, deg =  6 */    162,    164,    322,    695,    862,   2367, 
/* msg =    992, deg =  6 */     67,   1248,   1332,   1738,   2041,   2727, 
/* msg =    993, deg =  6 */    934,   1830,   2161,   2530,   2898,   3211, 
/* msg =    994, deg =  6 */   1479,   1583,   2844,   2894,   3468,   3815, 
/* msg =    995, deg =  6 */    437,   2045,   2049,   2733,   3086,   3703, 
/* msg =    996, deg =  6 */    225,    372,    914,   1076,   2526,   3586, 
/* msg =    997, deg =  6 */     17,    330,   1715,   1843,   3384,   3892, 
/* msg =    998, deg =  6 */    497,    955,   1925,   2087,   2195,   3750, 
/* msg =    999, deg =  6 */   1173,   1302,   1303,   1555,   2201,   3811, 
/* msg =   1000, deg =  6 */    548,    722,   1760,   2946,   3005,   3842, 
/* msg =   1001, deg =  6 */     36,   1360,   1735,   1952,   3179,   3951, 
/* msg =   1002, deg =  6 */    570,   1041,   2521,   2765,   3293,   3608, 
/* msg =   1003, deg =  6 */    997,   1115,   1563,   2391,   3237,   3786, 
/* msg =   1004, deg =  6 */     30,    164,    200,    215,   2105,   3262, 
/* msg =   1005, deg =  6 */     93,    302,    375,   2308,   2756,   3221, 
/* msg =   1006, deg =  6 */     49,   1030,   1326,   1662,   3276,   3860, 
/* msg =   1007, deg =  6 */   1447,   1838,   1878,   3575,   3682,   3929, 
/* msg =   1008, deg =  6 */    343,   1868,   1941,   2996,   3452,   3816, 
/* msg =   1009, deg =  6 */    803,   1616,   1741,   1997,   2414,   3616, 
/* msg =   1010, deg =  6 */    891,   1085,   2430,   3639,   3667,   3711, 
/* msg =   1011, deg =  6 */    237,   1158,   2212,   2478,   2659,   3583, 
/* msg =   1012, deg =  6 */    312,    416,   1998,   2699,   3286,   3458, 
/* msg =   1013, deg =  6 */    170,    235,   1631,   1729,   1896,   2363, 
/* msg =   1014, deg =  6 */    476,    506,    639,   1191,   1881,   3033, 
/* msg =   1015, deg =  6 */    789,   1129,   1975,   2435,   3735,   3824, 
/* msg =   1016, deg =  6 */     71,    487,    559,   2821,   2909,   3071, 
/* msg =   1017, deg =  6 */    259,    938,   1690,   2048,   2846,   3715, 
/* msg =   1018, deg =  6 */    334,    549,    737,   2805,   3292,   3349, 
/* msg =   1019, deg =  6 */    134,    331,   1328,   1382,   3479,   3811, 
/* msg =   1020, deg =  6 */    106,    287,    938,   3377,   3388,   3453, 
/* msg =   1021, deg =  6 */    574,   1424,   1965,   2982,   3428,   3476, 
/* msg =   1022, deg =  6 */    833,    955,   1422,   1866,   3779,   3837, 
/* msg =   1023, deg =  6 */   2271,   2382,   2649,   2754,   3141,   3829, 
/* msg =   1024, deg =  6 */    238,   1440,   1923,   2051,   2592,   3571, 
/* msg =   1025, deg =  6 */    350,   1094,   2124,   2301,   2776,   3718, 
/* msg =   1026, deg =  6 */   1394,   1579,   1904,   2130,   2385,   2448, 
/* msg =   1027, deg =  6 */    304,   1060,   1874,   2322,   2627,   2706, 
/* msg =   1028, deg =  6 */    193,    410,   1797,   2073,   2099,   3345, 
/* msg =   1029, deg =  6 */    933,   1615,   2153,   2333,   3538,   3622, 
/* msg =   1030, deg =  6 */    102,    528,   1479,   2331,   2381,   2794, 
/* msg =   1031, deg =  6 */    181,   2274,   2506,   2978,   3080,   3489, 
/* msg =   1032, deg =  6 */    421,   1252,   2421,   2543,   3265,   3950, 
/* msg =   1033, deg =  6 */      5,    830,    840,   1761,   2032,   3374, 
/* msg =   1034, deg =  6 */    871,    927,   2316,   3268,   3414,   3771, 
/* msg =   1035, deg =  6 */     93,    352,   1053,   1088,   2326,   3611, 
/* msg =   1036, deg =  6 */   1674,   1985,   2223,   2928,   3255,   3626, 
/* msg =   1037, deg =  6 */    724,   1114,   2007,   2683,   2705,   3503, 
/* msg =   1038, deg =  6 */     13,    428,   1029,   1569,   2929,   3194, 
/* msg =   1039, deg =  6 */   1546,   1678,   2218,   2940,   3386,   3820, 
/* msg =   1040, deg =  6 */    991,   1223,   1509,   1536,   1553,   1818, 
/* msg =   1041, deg =  6 */    280,    492,   1621,   2097,   2319,   3116, 
/* msg =   1042, deg =  6 */    222,   1603,   2211,   2406,   3316,   3456, 
/* msg =   1043, deg =  6 */    583,   1269,   1935,   2107,   2939,   3497, 
/* msg =   1044, deg =  6 */    556,   1957,   2852,   2947,   3016,   3140, 
/* msg =   1045, deg =  6 */    338,   2343,   2542,   3303,   3788,   3793, 
/* msg =   1046, deg =  6 */    432,   1173,   1217,   1877,   3045,   3741, 
/* msg =   1047, deg =  6 */   1824,   1943,   2119,   2463,   3132,   3582, 
/* msg =   1048, deg =  6 */     88,    458,    588,   3345,   3598,   3658, 
/* msg =   1049, deg =  6 */    280,    919,    921,   1386,   2379,   3460, 
/* msg =   1050, deg =  6 */    749,    816,   1905,   2363,   2919,   3145, 
/* msg =   1051, deg =  6 */     96,    274,    925,   2916,   2994,   3181, 
/* msg =   1052, deg =  6 */    290,    656,   1292,   1888,   2085,   3362, 
/* msg =   1053, deg =  6 */    927,    978,   1810,   2159,   2409,   2578, 
/* msg =   1054, deg =  6 */    507,   1847,   2111,   3079,   3512,   3570, 
/* msg =   1055, deg =  6 */    102,   2003,   2181,   2225,   3301,   3644, 
/* msg =   1056, deg =  6 */    355,    644,   1442,   2619,   2799,   3697, 
/* msg =   1057, deg =  6 */    399,   1266,   1290,   2074,   2367,   2969, 
/* msg =   1058, deg =  6 */    527,   2085,   2186,   3037,   3240,   3999, 
/* msg =   1059, deg =  6 */    560,   1817,   2008,   2902,   3040,   3653, 
/* msg =   1060, deg =  6 */   1805,   2001,   2010,   2808,   3732,   3901, 
/* msg =   1061, deg =  6 */    801,   1059,   1460,   2353,   2446,   3492, 
/* msg =   1062, deg =  6 */    951,   2500,   2599,   3726,   3838,   3902, 
/* msg =   1063, deg =  6 */    116,   1203,   1562,   1701,   3082,   3413, 
/* msg =   1064, deg =  6 */    610,    708,   1377,   2285,   2745,   3291, 
/* msg =   1065, deg =  6 */    247,   1035,   1655,   1719,   2747,   3419, 
/* msg =   1066, deg =  6 */    307,   1599,   3186,   3566,   3601,   3650, 
/* msg =   1067, deg =  6 */      6,     60,    287,   1023,   2968,   3419, 
/* msg =   1068, deg =  6 */    908,   2375,   2564,   2624,   3324,   3407, 
/* msg =   1069, deg =  6 */   1490,   2326,   2518,   2659,   3813,   3878, 
/* msg =   1070, deg =  6 */    573,    900,   1482,   1873,   2029,   2395, 
/* msg =   1071, deg =  6 */    671,    758,   1530,   1865,   1875,   3073, 
/* msg =   1072, deg =  6 */     33,     37,     52,   2537,   2666,   3327, 
/* msg =   1073, deg =  6 */    429,   1460,   2908,   3450,   3663,   3800, 
/* msg =   1074, deg =  6 */    638,   1152,   1169,   1571,   2067,   3732, 
/* msg =   1075, deg =  6 */     13,    151,   1072,   1169,   1568,   1620, 
/* msg =   1076, deg =  6 */   1180,   1491,   1616,   2024,   2124,   2291, 
/* msg =   1077, deg =  6 */    568,    959,   1499,   2070,   3723,   3788, 
/* msg =   1078, deg =  6 */    113,    135,    455,   1113,   1682,   3349, 
/* msg =   1079, deg =  6 */     21,    752,   1563,   2273,   3023,   3159, 
/* msg =   1080, deg =  6 */    145,    209,    763,    967,   2151,   3898, 
/* msg =   1081, deg =  6 */    582,    650,    912,   1252,   2491,   3380, 
/* msg =   1082, deg =  6 */    187,    318,   1906,   2169,   2585,   3645, 
/* msg =   1083, deg =  6 */    423,    591,    893,   1338,   2332,   3955, 
/* msg =   1084, deg =  6 */     69,    166,    865,   3068,   3824,   3856, 
/* msg =   1085, deg =  6 */   1082,   1268,   1275,   2819,   2914,   3740, 
/* msg =   1086, deg =  6 */    662,   1254,   1730,   2532,   3022,   3844, 
/* msg =   1087, deg =  6 */    170,   1022,   2891,   2987,   3220,   3318, 
/* msg =   1088, deg =  6 */    440,    873,   2018,   2384,   2588,   3602, 
/* msg =   1089, deg =  6 */    935,   1031,   1146,   2225,   2828,   3848, 
/* msg =   1090, deg =  6 */    572,   1567,   1811,   3034,   3310,   3353, 
/* msg =   1091, deg =  6 */    403,    722,   1038,   2328,   2789,   2942, 
/* msg =   1092, deg =  6 */   1192,   1484,   2087,   2354,   3443,   3709, 
/* msg =   1093, deg =  6 */    107,    258,    596,    722,   1561,   1675, 
/* msg =   1094, deg =  6 */    521,   1282,   1716,   1796,   2248,   3581, 
/* msg =   1095, deg =  6 */    620,   1081,   1342,   2121,   2444,   3291, 
/* msg =   1096, deg =  6 */    130,   1062,   1441,   2131,   3552,   3642, 
/* msg =   1097, deg =  6 */    297,    394,   1050,   2429,   2629,   2756, 
/* msg =   1098, deg =  6 */    968,   1853,   2444,   2525,   3130,   3885, 
/* msg =   1099, deg =  6 */    496,    806,    966,   2108,   2141,   2809, 
/* msg =   1100, deg =  6 */    107,   1438,   1679,   1986,   3313,   3375, 
/* msg =   1101, deg =  6 */     26,    165,   1278,   1772,   2023,   3490, 
/* msg =   1102, deg =  6 */    786,   1207,   2279,   3566,   3585,   3726, 
/* msg =   1103, deg =  6 */    255,    425,    438,   1334,   3405,   3920, 
/* msg =   1104, deg =  6 */    189,    229,    340,    578,    877,   1684, 
/* msg =   1105, deg =  6 */    302,   1077,   2339,   2696,   3157,   3891, 
/* msg =   1106, deg =  6 */   1109,   1145,   1918,   2537,   2681,   3302, 
/* msg =   1107, deg =  6 */     46,    479,    978,   2146,   2247,   2722, 
/* msg =   1108, deg =  6 */    188,    372,   1651,   1893,   1971,   3283, 
/* msg =   1109, deg =  6 */    518,   1528,   2550,   2963,   3185,   3678, 
/* msg =   1110, deg =  6 */     84,   1591,   1869,   1901,   2558,   2979, 
/* msg =   1111, deg =  6 */    582,    735,    794,   1244,   1861,   2228, 
/* msg =   1112, deg =  6 */     82,    674,    706,   1403,   2740,   2918, 
/* msg =   1113, deg =  6 */    608,   1862,   2294,   2755,   2879,   3504, 
/* msg =   1114, deg =  6 */     41,    383,    748,   3192,   3595,   3753, 
/* msg =   1115, deg =  6 */    284,    620,    829,   1670,   3309,   3373, 
/* msg =   1116, deg =  6 */    212,    493,    793,   1707,   2587,   3069, 
/* msg =   1117, deg =  6 */   1203,   1548,   1819,   2213,   3617,   3735, 
/* msg =   1118, deg =  6 */    680,   1575,   1674,   1906,   2708,   2935, 
/* msg =   1119, deg =  6 */    150,    535,   1106,   1527,   1720,   3259, 
/* msg =   1120, deg =  6 */   1217,   1228,   1769,   3643,   3713,   3729, 
/* msg =   1121, deg =  6 */    165,    237,   1937,   1968,   3556,   3859, 
/* msg =   1122, deg =  6 */    460,    903,   1567,   1588,   2035,   3818, 
/* msg =   1123, deg =  6 */    498,   1065,   1535,   1989,   2534,   3936, 
/* msg =   1124, deg =  6 */   1025,   3072,   3158,   3212,   3382,   3426, 
/* msg =   1125, deg =  6 */   1690,   1840,   2133,   2266,   2719,   3340, 
/* msg =   1126, deg =  6 */    285,    454,    942,   1384,   2836,   3325, 
/* msg =   1127, deg =  6 */     14,    547,    953,    959,   1470,   2568, 
/* msg =   1128, deg =  6 */    194,    211,   1434,   1770,   2858,   3306, 
/* msg =   1129, deg =  6 */   1192,   1220,   1576,   2205,   2771,   3652, 
/* msg =   1130, deg =  6 */    366,    871,   1458,   3049,   3207,   3767, 
/* msg =   1131, deg =  6 */    610,   1084,   1471,   1579,   1765,   2132, 
/* msg =   1132, deg =  6 */    110,    482,    586,   1145,   3736,   3757, 
/* msg =   1133, deg =  6 */    734,   1001,   1340,   2067,   3159,   3478, 
/* msg =   1134, deg =  6 */    314,    625,    784,   2792,   2860,   3484, 
/* msg =   1135, deg =  6 */     98,   1011,   2355,   2645,   3018,   3983, 
/* msg =   1136, deg =  6 */    919,   1148,   1793,   2039,   2193,   2996, 
/* msg =   1137, deg =  6 */   1999,   2276,   2307,   2724,   3073,   3500, 
/* msg =   1138, deg =  6 */    200,    554,    964,   1265,   1606,   3748, 
/* msg =   1139, deg =  6 */    947,   3004,   3379,   3486,   3619,   3675, 
/* msg =   1140, deg =  6 */   1359,   1600,   1871,   1899,   2655,   3985, 
/* msg =   1141, deg =  6 */    326,   1044,   1221,   1417,   2429,   3819, 
/* msg =   1142, deg =  6 */    575,    760,   1476,   1876,   2085,   3550, 
/* msg =   1143, deg =  6 */    107,    956,   1493,   2290,   2340,   3001, 
/* msg =   1144, deg =  6 */    770,    890,   1103,   1516,   2446,   3247, 
/* msg =   1145, deg =  6 */    401,    600,   2164,   2544,   2911,   3806, 
/* msg =   1146, deg =  6 */    219,   1564,   2997,   3293,   3562,   3600, 
/* msg =   1147, deg =  6 */    770,    776,   2230,   2314,   2866,   3007, 
/* msg =   1148, deg =  6 */    699,   1644,   1777,   1945,   2641,   2714, 
/* msg =   1149, deg =  6 */    248,    344,   1553,   3371,   3462,   3582, 
/* msg =   1150, deg =  6 */    254,   1503,   3364,   3442,   3603,   3606, 
/* msg =   1151, deg =  6 */    668,   1560,   2761,   3218,   3620,   3882, 
/* msg =   1152, deg =  6 */    950,    971,    984,   1330,   2889,   3863, 
/* msg =   1153, deg =  6 */    999,   2600,   3347,   3435,   3803,   3847, 
/* msg =   1154, deg =  6 */    707,    765,   1222,   1886,   3561,   3970, 
/* msg =   1155, deg =  6 */    261,    623,   1140,   1409,   2215,   3104, 
/* msg =   1156, deg =  6 */    415,    816,   1216,   1964,   3063,   3654, 
/* msg =   1157, deg =  6 */   1938,   2469,   2825,   2847,   3026,   3210, 
/* msg =   1158, deg =  6 */    359,   1186,   1847,   2036,   2224,   3114, 
/* msg =   1159, deg =  6 */   1599,   2066,   2154,   2249,   2853,   3112, 
/* msg =   1160, deg =  6 */    620,   1585,   2252,   2422,   3510,   3778, 
/* msg =   1161, deg =  6 */    408,    738,   1412,   1491,   1621,   3819, 
/* msg =   1162, deg =  6 */     99,    523,   1188,   2228,   2344,   3539, 
/* msg =   1163, deg =  6 */    124,    226,    411,   1779,   2050,   3136, 
/* msg =   1164, deg =  6 */    879,   1363,   2107,   2345,   2970,   3204, 
/* msg =   1165, deg =  6 */    399,   1137,   1320,   3077,   3182,   3496, 
/* msg =   1166, deg =  6 */    183,   1210,   1402,   3224,   3233,   3818, 
/* msg =   1167, deg =  6 */    537,   1665,   1851,   2185,   2487,   3011, 
/* msg =   1168, deg =  6 */    133,   1127,   1157,   1727,   3532,   3832, 
/* msg =   1169, deg =  6 */    376,   1744,   1792,   2296,   3437,   3710, 
/* msg =   1170, deg =  6 */    910,   1350,   1647,   2298,   3304,   3412, 
/* msg =   1171, deg =  6 */     12,    409,   1903,   2117,   2559,   3748, 
/* msg =   1172, deg =  6 */    112,    412,   1297,   1614,   3230,   3750, 
/* msg =   1173, deg =  6 */    485,   1736,   2204,   2553,   3317,   3672, 
/* msg =   1174, deg =  6 */    383,    394,    412,   2748,   2792,   3961, 
/* msg =   1175, deg =  6 */    289,    313,    792,   1030,   1474,   3906, 
/* msg =   1176, deg =  6 */    186,    352,    544,   1157,   1743,   3764, 
/* msg =   1177, deg =  6 */    284,    301,    306,   1854,   3717,   3921, 
/* msg =   1178, deg =  6 */    211,    511,   1867,   2291,   3387,   3495, 
/* msg =   1179, deg =  6 */   2579,   2965,   3064,   3508,   3537,   3693, 
/* msg =   1180, deg =  6 */    397,    862,    946,   1499,   1561,   2244, 
/* msg =   1181, deg =  6 */    246,    943,    996,   1049,   1240,   2224, 
/* msg =   1182, deg =  6 */    610,   1717,   1916,   1946,   2303,   3727, 
/* msg =   1183, deg =  6 */    834,   2233,   2822,   3228,   3425,   3889, 
/* msg =   1184, deg =  6 */    156,    500,   1636,   2286,   2758,   2845, 
/* msg =   1185, deg =  6 */    152,    256,   1347,   2157,   3106,   3600, 
/* msg =   1186, deg =  6 */   1346,   1461,   2316,   2894,   3097,   3405, 
/* msg =   1187, deg =  6 */   1204,   1298,   2727,   3328,   3339,   3672, 
/* msg =   1188, deg =  6 */     22,    274,    993,   1326,   3260,   3755, 
/* msg =   1189, deg =  6 */    341,   1245,   1451,   1856,   2112,   3904, 
/* msg =   1190, deg =  6 */    230,    922,   1369,   1592,   3193,   3522, 
/* msg =   1191, deg =  6 */    659,    857,   1243,   1866,   3358,   3472, 
/* msg =   1192, deg =  6 */    240,    617,   1959,   2105,   2773,   3085, 
/* msg =   1193, deg =  6 */    868,   1649,   1976,   2434,   2963,   3410, 
/* msg =   1194, deg =  6 */    524,   1134,   1258,   1423,   1919,   3800, 
/* msg =   1195, deg =  6 */    607,   1498,   2121,   2424,   2430,   2713, 
/* msg =   1196, deg =  6 */   1339,   1358,   2759,   3382,   3519,   3587, 
/* msg =   1197, deg =  6 */    182,    893,   1456,   1538,   2750,   3478, 
/* msg =   1198, deg =  6 */    484,    489,    682,    721,    930,   2581, 
/* msg =   1199, deg =  6 */    225,   1695,   2739,   2825,   2911,   3373, 
/* msg =   1200, deg =  6 */    309,    670,    944,   1085,   3821,   3987, 
/* msg =   1201, deg =  6 */     87,    464,    761,    943,   2618,   2697, 
/* msg =   1202, deg =  6 */   1679,   2233,   2298,   2310,   2959,   3624, 
/* msg =   1203, deg =  6 */   1841,   2138,   2468,   2770,   3016,   3308, 
/* msg =   1204, deg =  6 */    250,   1964,   2837,   3560,   3831,   3876, 
/* msg =   1205, deg =  6 */    661,   1064,   1439,   2040,   2748,   3910, 
/* msg =   1206, deg =  6 */    174,    627,    762,   1111,   1564,   2198, 
/* msg =   1207, deg =  6 */    282,    606,   1083,   2188,   3649,   3876, 
/* msg =   1208, deg =  6 */    636,   1505,   2022,   2264,   3000,   3118, 
/* msg =   1209, deg =  6 */     66,    218,    601,   1847,   1863,   3031, 
/* msg =   1210, deg =  6 */    295,    309,    926,   1264,   3317,   3743, 
/* msg =   1211, deg =  6 */    503,    848,   1551,   1553,   1602,   1905, 
/* msg =   1212, deg =  6 */   1579,   1865,   2117,   2369,   2866,   2903, 
/* msg =   1213, deg =  6 */     47,   1318,   1641,   2045,   3486,   3909, 
/* msg =   1214, deg =  6 */    603,    611,    840,   1314,   1443,   2562, 
/* msg =   1215, deg =  6 */     15,    877,    930,    940,   3972,   3984, 
/* msg =   1216, deg =  6 */    339,    518,    737,    851,   1427,   3694, 
/* msg =   1217, deg =  6 */    479,    869,   1227,   1398,   3119,   3493, 
/* msg =   1218, deg =  6 */      5,    421,    703,   1660,   2519,   2878, 
/* msg =   1219, deg =  6 */     63,    784,   1171,   2501,   2596,   2927, 
/* msg =   1220, deg =  6 */    379,   2187,   2751,   3064,   3095,   3855, 
/* msg =   1221, deg =  6 */    247,    836,    929,   1196,   3274,   3495, 
/* msg =   1222, deg =  6 */    949,   1019,   1942,   2570,   3153,   3818, 
/* msg =   1223, deg =  6 */     49,    427,    554,   1639,   1829,   3617, 
/* msg =   1224, deg =  6 */     46,   1966,   2222,   2286,   3160,   3979, 
/* msg =   1225, deg =  6 */     40,    798,    886,   1452,   2852,   3060, 
/* msg =   1226, deg =  6 */     34,   1514,   2440,   2603,   3083,   3615, 
/* msg =   1227, deg =  6 */    522,   1010,   1185,   1351,   3151,   3247, 
/* msg =   1228, deg =  6 */    126,   1087,   1565,   2721,   3046,   3252, 
/* msg =   1229, deg =  6 */    288,    566,   1110,   1636,   2437,   3611, 
/* msg =   1230, deg =  6 */    799,   1223,   1432,   2669,   2917,   3285, 
/* msg =   1231, deg =  6 */    325,    458,    626,   1568,   3185,   3541, 
/* msg =   1232, deg =  6 */   1630,   2004,   2118,   2125,   3233,   3536, 
/* msg =   1233, deg =  6 */    419,    921,   1008,   1816,   2237,   3416, 
/* msg =   1234, deg =  6 */     32,    339,    421,    855,   1802,   2912, 
/* msg =   1235, deg =  6 */    570,   1608,   2223,   2804,   3150,   3355, 
/* msg =   1236, deg =  6 */    942,   1997,   1999,   2039,   3153,   3221, 
/* msg =   1237, deg =  6 */    808,    860,   1861,   2629,   3369,   3861, 
/* msg =   1238, deg =  6 */    778,   1427,   1469,   3512,   3895,   3943, 
/* msg =   1239, deg =  6 */    332,   2300,   2565,   2885,   3110,   3208, 
/* msg =   1240, deg =  6 */     81,    654,   2103,   2447,   2891,   3535, 
/* msg =   1241, deg =  6 */    325,    526,   1762,   1996,   2368,   3547, 
/* msg =   1242, deg =  6 */    144,   2751,   2785,   2841,   3567,   3641, 
/* msg =   1243, deg =  6 */    176,   1977,   2119,   2125,   2399,   3326, 
/* msg =   1244, deg =  6 */     61,    914,   1007,   2222,   2493,   3935, 
/* msg =   1245, deg =  6 */   1250,   1707,   1893,   2246,   2951,   3241, 
/* msg =   1246, deg =  6 */    611,   1165,   2202,   2728,   3605,   3808, 
/* msg =   1247, deg =  6 */   1009,   2393,   2915,   3129,   3417,   3842, 
/* msg =   1248, deg =  6 */     52,    355,    872,   1281,   2600,   3796, 
/* msg =   1249, deg =  6 */    192,   2076,   2311,   3307,   3488,   3784, 
/* msg =   1250, deg =  6 */    788,   1314,   1454,   1543,   3243,   3275, 
/* msg =   1251, deg =  6 */    520,    623,   2284,   2402,   3004,   3157, 
/* msg =   1252, deg =  6 */    353,    806,    810,    833,   2931,   3345, 
/* msg =   1253, deg =  6 */    337,    437,    845,   1069,   1825,   2278, 
/* msg =   1254, deg =  6 */    590,   1644,   2337,   2715,   2781,   3368, 
/* msg =   1255, deg =  6 */    240,    698,   2149,   3434,   3566,   3854, 
/* msg =   1256, deg =  6 */    255,    588,    953,   2749,   3910,   3925, 
/* msg =   1257, deg =  6 */     68,    825,    993,   1225,   1279,   2534, 
/* msg =   1258, deg =  6 */    131,    132,   2592,   2660,   3458,   3467, 
/* msg =   1259, deg =  6 */   1112,   1163,   1202,   1545,   3829,   3881, 
/* msg =   1260, deg =  6 */    630,   1128,   1453,   2390,   2887,   3547, 
/* msg =   1261, deg =  6 */    368,    686,   1948,   3013,   3483,   3867, 
/* msg =   1262, deg =  6 */    261,    643,   1186,   1983,   2275,   2818, 
/* msg =   1263, deg =  6 */    581,    660,   1372,   3154,   3234,   3537, 
/* msg =   1264, deg =  6 */    461,   2173,   2287,   2522,   2603,   2938, 
/* msg =   1265, deg =  6 */    431,    805,    977,   1645,   2404,   3336, 
/* msg =   1266, deg =  6 */    944,   1178,   1429,   1527,   3013,   3830, 
/* msg =   1267, deg =  6 */    369,    438,    807,   1807,   3031,   3190, 
/* msg =   1268, deg =  6 */   2190,   2207,   2543,   3195,   3206,   3306, 
/* msg =   1269, deg =  6 */     42,    681,   1218,   1541,   2525,   3631, 
/* msg =   1270, deg =  6 */    318,    892,    922,   1319,   3315,   3481, 
/* msg =   1271, deg =  6 */     10,    126,   1078,   3014,   3645,   3960, 
/* msg =   1272, deg =  6 */    251,    809,    831,   1011,   2990,   3024, 
/* msg =   1273, deg =  6 */   2025,   2215,   2653,   3096,   3409,   3499, 
/* msg =   1274, deg =  6 */    703,    758,   2191,   2517,   3651,   3803, 
/* msg =   1275, deg =  6 */    396,    885,    997,   1251,   2486,   3124, 
/* msg =   1276, deg =  6 */    685,   1715,   2352,   3050,   3276,   3422, 
/* msg =   1277, deg =  6 */    453,   1550,   2318,   2410,   3220,   3305, 
/* msg =   1278, deg =  6 */    122,    756,    863,   2166,   2535,   3223, 
/* msg =   1279, deg =  6 */     70,    599,   1853,   1934,   2988,   3522, 
/* msg =   1280, deg =  6 */     77,   1453,   2108,   3054,   3167,   3769, 
/* msg =   1281, deg =  6 */    222,    297,   2050,   2693,   3289,   3529, 
/* msg =   1282, deg =  6 */   1013,   2055,   2403,   2577,   2906,   3440, 
/* msg =   1283, deg =  6 */   1748,   2692,   2698,   3237,   3264,   3689, 
/* msg =   1284, deg =  6 */    736,   1124,   2069,   2358,   3545,   3555, 
/* msg =   1285, deg =  6 */    368,    691,   1371,   2100,   2786,   2834, 
/* msg =   1286, deg =  6 */    958,   2003,   2896,   3055,   3515,   3588, 
/* msg =   1287, deg =  6 */    868,   1765,   2360,   2560,   2902,   3053, 
/* msg =   1288, deg =  6 */     22,    491,    519,   1972,   2441,   2948, 
/* msg =   1289, deg =  6 */    292,    348,   1581,   2197,   2877,   3587, 
/* msg =   1290, deg =  6 */    398,    639,   2138,   2491,   3022,   3657, 
/* msg =   1291, deg =  6 */    450,    661,    739,    871,   1835,   3674, 
/* msg =   1292, deg =  6 */     73,    794,   1906,   2695,   3055,   3982, 
/* msg =   1293, deg =  6 */   1993,   2258,   2582,   2733,   3244,   3354, 
/* msg =   1294, deg =  6 */    194,    584,   2062,   2752,   2863,   3749, 
/* msg =   1295, deg =  6 */    483,    650,    865,   1107,   1933,   3364, 
/* msg =   1296, deg =  6 */    680,   1299,   1749,   1964,   2504,   3927, 
/* msg =   1297, deg =  6 */    849,   1231,   2019,   2644,   3334,   3610, 
/* msg =   1298, deg =  6 */    758,   1055,   1699,   2663,   3033,   3268, 
/* msg =   1299, deg =  6 */    214,    395,   1956,   2445,   3220,   3573, 
/* msg =   1300, deg =  6 */    385,    629,   1121,   2767,   3296,   3573, 
/* msg =   1301, deg =  6 */   1187,   1258,   2015,   3460,   3703,   3777, 
/* msg =   1302, deg =  6 */    455,   1474,   1981,   2182,   2433,   3977, 
/* msg =   1303, deg =  6 */   1159,   1414,   1693,   3595,   3762,   3810, 
/* msg =   1304, deg =  6 */     85,    262,    626,   2255,   3771,   3909, 
/* msg =   1305, deg =  6 */    271,   1795,   2924,   3232,   3844,   3964, 
/* msg =   1306, deg =  6 */   1134,   1365,   1819,   1990,   2077,   3584, 
/* msg =   1307, deg =  6 */     67,    833,    903,   1859,   1921,   2711, 
/* msg =   1308, deg =  6 */    131,   2460,   2589,   3026,   3366,   3966, 
/* msg =   1309, deg =  6 */   1549,   1636,   2077,   2182,   2688,   3060, 
/* msg =   1310, deg =  6 */    415,    418,   1288,   3108,   3142,   3475, 
/* msg =   1311, deg =  6 */   1262,   1407,   2090,   2690,   3105,   3706, 
/* msg =   1312, deg =  6 */    981,   1241,   1452,   2612,   3198,   3279, 
/* msg =   1313, deg =  6 */    340,   1484,   1649,   1728,   2510,   3108, 
/* msg =   1314, deg =  6 */    844,   2451,   2457,   3348,   3369,   3635, 
/* msg =   1315, deg =  6 */   1090,   1741,   1858,   2177,   2392,   2527, 
/* msg =   1316, deg =  6 */   1040,   1719,   2206,   2687,   3260,   3437, 
/* msg =   1317, deg =  6 */    319,    399,   2001,   2505,   3772,   3979, 
/* msg =   1318, deg =  6 */    109,   1521,   2330,   2970,   3468,   3533, 
/* msg =   1319, deg =  6 */    402,    504,    651,   1289,   1792,   2696, 
/* msg =   1320, deg =  6 */    151,    199,   1181,   1940,   3256,   3539, 
/* msg =   1321, deg =  6 */   1402,   2024,   2755,   2796,   2823,   3526, 
/* msg =   1322, deg =  6 */   1827,   2357,   2371,   2440,   2462,   3847, 
/* msg =   1323, deg =  6 */   1325,   2642,   2802,   2824,   3262,   3761, 
/* msg =   1324, deg =  6 */    592,    981,   1390,   1907,   2081,   2766, 
/* msg =   1325, deg =  6 */     54,    752,   1661,   2938,   3048,   3376, 
/* msg =   1326, deg =  6 */    316,    891,   2708,   3147,   3480,   3846, 
/* msg =   1327, deg =  6 */    161,    228,   1070,   1815,   1825,   3186, 
/* msg =   1328, deg =  6 */    305,   1785,   1997,   2726,   2774,   3662, 
/* msg =   1329, deg =  6 */   1635,   1947,   2070,   3359,   3631,   3877, 
/* msg =   1330, deg =  6 */    550,    746,   1589,   2400,   2443,   2765, 
/* msg =   1331, deg =  6 */   2668,   2983,   3059,   3458,   3928,   3995, 
/* msg =   1332, deg =  6 */    502,    545,   2030,   2153,   2781,   3926, 
/* msg =   1333, deg =  6 */    409,    478,    759,   1198,   2032,   2038, 
/* msg =   1334, deg =  6 */    187,    195,   1037,   1602,   2502,   3671, 
/* msg =   1335, deg =  6 */    459,   1363,   1413,   2463,   3509,   3820, 
/* msg =   1336, deg =  6 */    711,   1121,   1289,   2845,   2852,   3320, 
/* msg =   1337, deg =  6 */    994,   1048,   1840,   2130,   2320,   2722, 
/* msg =   1338, deg =  6 */    177,    263,   1023,   1344,   2232,   3311, 
/* msg =   1339, deg =  6 */    300,    529,   1945,   2510,   2662,   2772, 
/* msg =   1340, deg =  6 */    337,   1749,   1856,   1934,   3323,   3849, 
/* msg =   1341, deg =  6 */   1266,   1686,   1826,   2261,   2459,   2779, 
/* msg =   1342, deg =  6 */    839,   1383,   1637,   2464,   3552,   3588, 
/* msg =   1343, deg =  6 */     57,    513,    836,   1931,   2362,   3508, 
/* msg =   1344, deg =  6 */     39,    684,   1810,   1960,   2258,   3288, 
/* msg =   1345, deg =  6 */    570,   2049,   2152,   2607,   3146,   3756, 
/* msg =   1346, deg =  6 */     42,    281,   1767,   2089,   2106,   3504, 
/* msg =   1347, deg =  6 */    158,    365,    562,   2051,   2963,   2993, 
/* msg =   1348, deg =  6 */   1817,   2121,   2452,   3407,   3538,   3695, 
/* msg =   1349, deg =  6 */    511,    642,   1181,   1236,   2175,   2346, 
/* msg =   1350, deg =  6 */    687,   1475,   1488,   3098,   3114,   3150, 
/* msg =   1351, deg =  6 */     58,    178,   1055,   1141,   3038,   3206, 
/* msg =   1352, deg =  6 */   1062,   2167,   2359,   2723,   3952,   3974, 
/* msg =   1353, deg =  6 */   1098,   1452,   1460,   1761,   3114,   3682, 
/* msg =   1354, deg =  6 */    261,    533,   2544,   2960,   3291,   3413, 
/* msg =   1355, deg =  6 */    300,   2200,   2538,   2998,   3910,   3975, 
/* msg =   1356, deg =  6 */    271,    321,   1770,   1909,   2606,   2967, 
/* msg =   1357, deg =  6 */    400,    694,   1166,   2519,   3256,   3988, 
/* msg =   1358, deg =  6 */   1925,   2411,   2775,   3542,   3637,   3891, 
/* msg =   1359, deg =  6 */    143,    149,    408,   1609,   2835,   2910, 
/* msg =   1360, deg =  6 */    156,    743,    801,   1073,   1302,   2297, 
/* msg =   1361, deg =  6 */    104,    894,   2098,   2240,   2609,   2915, 
/* msg =   1362, deg =  6 */    508,   1618,   1892,   2598,   2976,   3627, 
/* msg =   1363, deg =  6 */    820,   1268,   1411,   1681,   2152,   3897, 
/* msg =   1364, deg =  6 */     99,    688,    964,   1010,   2836,   3720, 
/* msg =   1365, deg =  6 */    883,   1468,   2283,   2485,   2731,   2924, 
/* msg =   1366, deg =  6 */   1399,   2111,   2650,   2796,   3143,   3710, 
/* msg =   1367, deg =  6 */    108,   1778,   2239,   3020,   3163,   3285, 
/* msg =   1368, deg =  6 */     78,    446,    779,   1385,   1546,   3995, 
/* msg =   1369, deg =  6 */    341,    741,    941,   2107,   2676,   2698, 
/* msg =   1370, deg =  6 */    975,   2633,   2757,   2999,   3156,   3240, 
/* msg =   1371, deg =  6 */    110,   1201,   1513,   2298,   2525,   3636, 
/* msg =   1372, deg =  6 */    283,   2523,   2563,   3078,   3666,   3688, 
/* msg =   1373, deg =  6 */     85,    229,   1612,   2260,   2992,   3613, 
/* msg =   1374, deg =  6 */    967,   1891,   1955,   2021,   2312,   3582, 
/* msg =   1375, deg =  6 */    162,    561,   1928,   2899,   3633,   3746, 
/* msg =   1376, deg =  6 */   1654,   2113,   2119,   2342,   3685,   3890, 
/* msg =   1377, deg =  6 */    458,   1233,   1294,   2104,   2386,   3797, 
/* msg =   1378, deg =  6 */    263,    569,   1369,   2932,   3455,   3608, 
/* msg =   1379, deg =  6 */    982,   1404,   1890,   2172,   3717,   3919, 
/* msg =   1380, deg =  6 */    360,    970,   1194,   1779,   2187,   3338, 
/* msg =   1381, deg =  6 */    605,    905,   1292,   3003,   3368,   3866, 
/* msg =   1382, deg =  6 */    970,   1022,   1400,   1986,   2520,   3038, 
/* msg =   1383, deg =  6 */    471,   1563,   2134,   3409,   3629,   3678, 
/* msg =   1384, deg =  6 */   1698,   1728,   1767,   2110,   2114,   2276, 
/* msg =   1385, deg =  6 */   1539,   1594,   1671,   3379,   3688,   3858, 
/* msg =   1386, deg =  6 */     34,    150,   1343,   1950,   2057,   2360, 
/* msg =   1387, deg =  6 */    811,   1571,   2105,   2591,   2858,   3169, 
/* msg =   1388, deg =  6 */     40,    447,   1171,   1879,   2833,   3899, 
/* msg =   1389, deg =  6 */    665,    901,   1696,   2304,   2635,   2877, 
/* msg =   1390, deg =  6 */    244,    357,    389,    661,   2193,   2587, 
/* msg =   1391, deg =  6 */     95,    470,   2325,   2495,   2661,   2971, 
/* msg =   1392, deg =  6 */    269,    563,   1075,   2113,   2334,   3635, 
/* msg =   1393, deg =  6 */    524,   2047,   3360,   3449,   3516,   3870, 
/* msg =   1394, deg =  6 */   1571,   1680,   2991,   3009,   3088,   3452, 
/* msg =   1395, deg =  6 */    498,    864,   1279,   1751,   2842,   3342, 
/* msg =   1396, deg =  6 */   1127,   1845,   2290,   2682,   2965,   3102, 
/* msg =   1397, deg =  6 */    608,   1461,   1757,   3124,   3266,   3474, 
/* msg =   1398, deg =  6 */    512,    951,   2475,   2711,   3399,   3746, 
/* msg =   1399, deg =  6 */     23,   1526,   1783,   2396,   3518,   3957, 
/* msg =   1400, deg =  6 */   1254,   2587,   2602,   2681,   3377,   3540, 
/* msg =   1401, deg =  6 */    401,   2568,   2845,   3494,   3558,   3972, 
/* msg =   1402, deg =  6 */    551,    759,   3095,   3675,   3748,   3755, 
/* msg =   1403, deg =  6 */     45,    283,   1324,   1420,   1486,   1740, 
/* msg =   1404, deg =  6 */     60,    470,   2080,   2923,   2970,   3219, 
/* msg =   1405, deg =  6 */   1701,   2336,   2763,   2905,   3176,   3946, 
/* msg =   1406, deg =  6 */    668,   1662,   1974,   2150,   2856,   3609, 
/* msg =   1407, deg =  6 */    351,    827,   1316,   2871,   3098,   3743, 
/* msg =   1408, deg =  6 */    138,   1007,   1496,   2549,   2658,   2855, 
/* msg =   1409, deg =  6 */   1008,   1841,   1946,   3028,   3101,   3769, 
/* msg =   1410, deg =  6 */    472,    769,    956,   1291,   2122,   3621, 
/* msg =   1411, deg =  6 */    409,    488,    568,   1598,   2984,   3692, 
/* msg =   1412, deg =  6 */    945,   1539,   2365,   2386,   2404,   2870, 
/* msg =   1413, deg =  6 */     52,    141,    700,   2011,   3094,   3790, 
/* msg =   1414, deg =  6 */    770,    933,   1099,   1128,   2780,   3193, 
/* msg =   1415, deg =  6 */     11,   1800,   1897,   3527,   3654,   3792, 
/* msg =   1416, deg =  6 */    103,    443,   1228,   1605,   1842,   1944, 
/* msg =   1417, deg =  6 */    533,    837,   1070,   1130,   2276,   2679, 
/* msg =   1418, deg =  6 */    785,   1013,   1492,   2217,   2508,   2818, 
/* msg =   1419, deg =  6 */    466,    565,    911,   1218,   3300,   3303, 
/* msg =   1420, deg =  6 */    866,   2546,   2606,   2724,   3313,   3864, 
/* msg =   1421, deg =  6 */    293,    642,   2049,   2778,   3438,   3810, 
/* msg =   1422, deg =  6 */   2147,   2432,   2668,   2822,   3436,   3778, 
/* msg =   1423, deg =  6 */    256,   2140,   2380,   3517,   3699,   3709, 
/* msg =   1424, deg =  6 */    381,   1666,   2405,   2623,   2985,   3439, 
/* msg =   1425, deg =  6 */    254,    673,   1013,   1296,   1673,   3377, 
/* msg =   1426, deg =  6 */    856,    869,   1879,   2420,   3305,   3833, 
/* msg =   1427, deg =  6 */   1102,   1850,   2086,   2499,   3472,   3542, 
/* msg =   1428, deg =  6 */    125,   1678,   2731,   3456,   3841,   3904, 
/* msg =   1429, deg =  6 */     77,   1161,   1174,   2522,   2985,   3595, 
/* msg =   1430, deg =  6 */     90,    724,    763,   2084,   2661,   3896, 
/* msg =   1431, deg =  6 */    662,   1805,   1833,   2693,   3453,   3903, 
/* msg =   1432, deg =  6 */    304,    633,    913,   1301,   1958,   3729, 
/* msg =   1433, deg =  6 */    733,   1328,   1799,   2739,   2755,   2919, 
/* msg =   1434, deg =  6 */     80,    239,    632,    916,   2675,   3201, 
/* msg =   1435, deg =  6 */    660,   1764,   2533,   3146,   3271,   3831, 
/* msg =   1436, deg =  6 */     73,    842,   1969,   2899,   3517,   3773, 
/* msg =   1437, deg =  6 */     70,    550,    778,   1922,   2409,   3944, 
/* msg =   1438, deg =  6 */    525,    532,   2045,   2150,   3169,   3940, 
/* msg =   1439, deg =  6 */    855,   1074,   1622,   1772,   2080,   2509, 
/* msg =   1440, deg =  6 */    388,    719,    842,    932,   1814,   3053, 
/* msg =   1441, deg =  6 */    463,    472,   1444,   1844,   2968,   3365, 
/* msg =   1442, deg =  6 */    379,   1616,   1860,   2500,   3923,   3975, 
/* msg =   1443, deg =  6 */   2163,   2174,   2221,   2324,   2355,   3914, 
/* msg =   1444, deg =  6 */     16,   1727,   2264,   2549,   3156,   3952, 
/* msg =   1445, deg =  6 */      8,    444,   1566,   1892,   2873,   3028, 
/* msg =   1446, deg =  6 */    278,   1531,   1902,   2144,   2175,   3049, 
/* msg =   1447, deg =  6 */   1672,   1908,   2000,   2346,   2357,   2928, 
/* msg =   1448, deg =  6 */   1369,   2481,   2732,   3151,   3181,   3665, 
/* msg =   1449, deg =  6 */    158,    334,    373,   3020,   3116,   3862, 
/* msg =   1450, deg =  6 */     63,    358,    465,    607,   1020,   3138, 
/* msg =   1451, deg =  6 */     25,    767,   1062,   1501,   2885,   3210, 
/* msg =   1452, deg =  6 */     53,    349,   1295,   1478,   2063,   2724, 
/* msg =   1453, deg =  6 */     44,    948,   1763,   2857,   2875,   3646, 
/* msg =   1454, deg =  6 */    202,    464,   1879,   2358,   2496,   2759, 
/* msg =   1455, deg =  6 */    390,    500,   1763,   1858,   2497,   3090, 
/* msg =   1456, deg =  6 */    179,    428,   2146,   2509,   2743,   3726, 
/* msg =   1457, deg =  6 */    201,    495,   1739,   2220,   2420,   2704, 
/* msg =   1458, deg =  6 */    146,   1208,   1832,   1919,   2536,   3188, 
/* msg =   1459, deg =  6 */    100,    872,   1139,   1184,   1501,   1709, 
/* msg =   1460, deg =  6 */    659,   1473,   2338,   2859,   3573,   3666, 
/* msg =   1461, deg =  6 */   1871,   2748,   2896,   2975,   3857,   3892, 
/* msg =   1462, deg =  6 */    960,   1713,   2250,   2640,   3031,   3840, 
/* msg =   1463, deg =  6 */    548,   1722,   1751,   2754,   2861,   3050, 
/* msg =   1464, deg =  6 */   2069,   2137,   2658,   2730,   3528,   3770, 
/* msg =   1465, deg =  6 */    775,   1333,   1634,   1731,   1793,   3214, 
/* msg =   1466, deg =  6 */     26,     65,   1048,   1373,   1629,   3222, 
/* msg =   1467, deg =  6 */    557,    824,   1613,   3007,   3010,   3273, 
/* msg =   1468, deg =  6 */    597,   1781,   2129,   2251,   2597,   3439, 
/* msg =   1469, deg =  6 */     87,    817,   1076,   2268,   2477,   3343, 
/* msg =   1470, deg =  6 */    123,    440,    912,   1358,   2856,   2907, 
/* msg =   1471, deg =  6 */    305,   1125,   1317,   1603,   3162,   3463, 
/* msg =   1472, deg =  6 */   2072,   2264,   3320,   3492,   3504,   3534, 
/* msg =   1473, deg =  6 */    173,    291,   1503,   2374,   3294,   3602, 
/* msg =   1474, deg =  6 */    546,   1743,   1950,   2435,   2805,   3144, 
/* msg =   1475, deg =  6 */    541,   1001,   1381,   1694,   2636,   3141, 
/* msg =   1476, deg =  6 */    166,    573,   1477,   1532,   1742,   2216, 
/* msg =   1477, deg =  6 */    238,    244,   1214,   2246,   2930,   3442, 
/* msg =   1478, deg =  6 */   1939,   2047,   2262,   2388,   3840,   3953, 
/* msg =   1479, deg =  6 */    853,   1085,   1158,   1287,   1643,   1862, 
/* msg =   1480, deg =  6 */    175,    232,   1096,   2713,   2980,   3607, 
/* msg =   1481, deg =  6 */    252,    779,   1708,   2926,   3003,   3807, 
/* msg =   1482, deg =  6 */    113,    159,    394,   1878,   2635,   3378, 
/* msg =   1483, deg =  6 */    520,    901,   2274,   2499,   2703,   3089, 
/* msg =   1484, deg =  6 */    474,   1156,   1953,   3136,   3394,   3770, 
/* msg =   1485, deg =  6 */    685,    974,   1329,   1414,   1510,   1711, 
/* msg =   1486, deg =  6 */    154,    971,   2027,   2780,   3299,   3804, 
/* msg =   1487, deg =  6 */    903,    918,   1754,   2161,   3042,   3197, 
/* msg =   1488, deg =  6 */    730,    883,   1546,   1747,   1963,   3028, 
/* msg =   1489, deg =  6 */    181,    928,   1178,   2199,   2654,   3869, 
/* msg =   1490, deg =  6 */    301,    545,   1051,   1532,   2992,   3133, 
/* msg =   1491, deg =  6 */     41,    412,   1103,   2022,   2532,   2639, 
/* msg =   1492, deg =  6 */    191,    584,   1309,   1895,   2874,   3335, 
/* msg =   1493, deg =  6 */     57,    129,    799,   1300,   2472,   3323, 
/* msg =   1494, deg =  6 */   1428,   2079,   2572,   2786,   2943,   3969, 
/* msg =   1495, deg =  6 */    682,   2380,   2680,   3006,   3443,   3815, 
/* msg =   1496, deg =  6 */    424,    947,   1170,   2191,   2542,   3196, 
/* msg =   1497, deg =  6 */    425,   2246,   2443,   3691,   3911,   3947, 
/* msg =   1498, deg =  6 */   1299,   1961,   2004,   2770,   2806,   2888, 
/* msg =   1499, deg =  6 */     35,    666,   1685,   1831,   2532,   2745, 
/* msg =   1500, deg =  6 */    365,   1396,   1710,   2460,   3166,   3638, 
/* msg =   1501, deg =  6 */   1350,   1528,   1562,   2999,   3788,   3963, 
/* msg =   1502, deg =  6 */    536,    741,   1433,   1973,   3729,   3830, 
/* msg =   1503, deg =  6 */    769,   2032,   2054,   2329,   2869,   3822, 
/* msg =   1504, deg =  6 */    402,    413,   1413,   1750,   2293,   3560, 
/* msg =   1505, deg =  6 */    915,   2391,   2460,   3225,   3330,   3531, 
/* msg =   1506, deg =  6 */      9,    118,    882,   2982,   3099,   3752, 
/* msg =   1507, deg =  6 */    245,   1697,   2584,   2901,   3907,   3997, 
/* msg =   1508, deg =  6 */    932,   1212,   2294,   2934,   3409,   3493, 
/* msg =   1509, deg =  6 */    550,   1573,   1576,   2389,   2656,   3687, 
/* msg =   1510, deg =  6 */    257,    957,   1313,   2150,   3309,   3380, 
/* msg =   1511, deg =  6 */     14,    380,    794,   2048,   3481,   3803, 
/* msg =   1512, deg =  6 */    540,    697,   1269,   2371,   2663,   3680, 
/* msg =   1513, deg =  6 */    473,   1068,   2120,   2722,   3045,   3303, 
/* msg =   1514, deg =  6 */     66,    411,    603,   2198,   2549,   2582, 
/* msg =   1515, deg =  6 */     56,    356,   1324,   1602,   2843,   3070, 
/* msg =   1516, deg =  6 */    362,    899,   1486,   2973,   3310,   3654, 
/* msg =   1517, deg =  6 */     90,    252,    731,   1247,   3549,   3868, 
/* msg =   1518, deg =  6 */    172,    448,   1702,   1827,   2676,   2955, 
/* msg =   1519, deg =  6 */    917,   1450,   2465,   2860,   3763,   3814, 
/* msg =   1520, deg =  6 */    127,    345,    978,   2599,   2920,   3783, 
/* msg =   1521, deg =  6 */    100,    122,   1118,   1530,   2054,   2205, 
/* msg =   1522, deg =  6 */     20,    361,    372,    666,   1864,   3471, 
/* msg =   1523, deg =  6 */    357,   1020,   1484,   2287,   2651,   2784, 
/* msg =   1524, deg =  6 */    184,    555,   2445,   3213,   3543,   3836, 
/* msg =   1525, deg =  6 */    736,    939,   1049,   2065,   3255,   3402, 
/* msg =   1526, deg =  6 */    456,    637,    876,   1421,   1766,   2735, 
/* msg =   1527, deg =  6 */    216,   1609,   1839,   1859,   3113,   3759, 
/* msg =   1528, deg =  6 */    308,   1436,   2102,   2640,   3383,   3686, 
/* msg =   1529, deg =  6 */    246,    621,    899,   2339,   2861,   3238, 
/* msg =   1530, deg =  6 */   1057,   1464,   1930,   2093,   2934,   3200, 
/* msg =   1531, deg =  6 */   1446,   2326,   2615,   3445,   3694,   3877, 
/* msg =   1532, deg =  6 */    832,   2442,   2560,   3125,   3746,   3967, 
/* msg =   1533, deg =  6 */     55,    334,    823,   2567,   3249,   3592, 
/* msg =   1534, deg =  6 */    875,   2648,   2677,   3296,   3578,   3967, 
/* msg =   1535, deg =  6 */    905,   1226,   1494,   1615,   3161,   3284, 
/* msg =   1536, deg =  6 */    905,   1124,   1237,   3529,   3819,   3887, 
/* msg =   1537, deg =  6 */    584,    852,   1544,   2746,   3357,   3628, 
/* msg =   1538, deg =  6 */    783,    935,   1079,   2820,   3191,   3266, 
/* msg =   1539, deg =  6 */    781,   1755,   1774,   2036,   2166,   3644, 
/* msg =   1540, deg =  6 */    687,   1115,   2981,   3478,   3546,   3857, 
/* msg =   1541, deg =  6 */   1981,   3054,   3190,   3712,   3716,   3793, 
/* msg =   1542, deg =  6 */     28,    647,   1097,   1935,   2895,   3109, 
/* msg =   1543, deg =  6 */    616,   1235,   1346,   2377,   2396,   3300, 
/* msg =   1544, deg =  6 */    285,    599,    640,    800,    952,   2702, 
/* msg =   1545, deg =  6 */   1483,   2089,   2282,   3612,   3624,   3739, 
/* msg =   1546, deg =  6 */    449,    886,   1455,   2029,   3244,   3989, 
/* msg =   1547, deg =  6 */     83,    320,   1253,   1679,   3701,   3789, 
/* msg =   1548, deg =  6 */     54,   1073,   2194,   2199,   2957,   3065, 
/* msg =   1549, deg =  6 */    564,    829,   1079,   1725,   2769,   3469, 
/* msg =   1550, deg =  6 */     38,   1230,   1531,   1773,   1781,   3536, 
/* msg =   1551, deg =  6 */    988,   1265,   1501,   1814,   2789,   3155, 
/* msg =   1552, deg =  6 */     75,   1370,   1659,   2002,   2344,   3737, 
/* msg =   1553, deg =  6 */     47,    538,   2249,   2332,   3111,   3976, 
/* msg =   1554, deg =  6 */    988,   1175,   1275,   1424,   1755,   3943, 
/* msg =   1555, deg =  6 */    473,   1041,   1391,   2354,   3318,   3820, 
/* msg =   1556, deg =  6 */    706,   1294,   1623,   1802,   3172,   3971, 
/* msg =   1557, deg =  6 */   1051,   1359,   2381,   3266,   3400,   3768, 
/* msg =   1558, deg =  6 */    667,    900,   1273,   2258,   2847,   3974, 
/* msg =   1559, deg =  6 */    419,   2273,   2388,   2554,   2807,   3639, 
/* msg =   1560, deg =  6 */   1353,   1821,   3168,   3474,   3583,   3985, 
/* msg =   1561, deg =  6 */   1071,   1229,   1383,   2176,   2302,   3921, 
/* msg =   1562, deg =  6 */    738,    931,   1855,   1904,   2165,   3981, 
/* msg =   1563, deg =  6 */    127,   1300,   1688,   1850,   2684,   3896, 
/* msg =   1564, deg =  6 */   1416,   1595,   1654,   2816,   3279,   3528, 
/* msg =   1565, deg =  6 */    595,    858,   1936,   2321,   3398,   3942, 
/* msg =   1566, deg =  6 */     51,    519,   2310,   2433,   3455,   3518, 
/* msg =   1567, deg =  6 */     35,     91,    172,   1260,   1410,   2861, 
/* msg =   1568, deg =  6 */    159,    808,   1104,   1348,   2237,   2402, 
/* msg =   1569, deg =  6 */   1105,   1758,   2335,   3167,   3408,   3936, 
/* msg =   1570, deg =  6 */   1356,   2130,   2277,   2612,   2750,   3768, 
/* msg =   1571, deg =  6 */    952,   1912,   2129,   2136,   2288,   3228, 
/* msg =   1572, deg =  6 */    420,    465,    509,   2618,   2817,   3893, 
/* msg =   1573, deg =  6 */    145,   1961,   2316,   2665,   3149,   3333, 
/* msg =   1574, deg =  6 */    913,   1080,   1922,   3222,   3749,   3923, 
/* msg =   1575, deg =  6 */   1194,   1471,   1658,   1967,   2081,   3012, 
/* msg =   1576, deg =  6 */    855,   1212,   1587,   1595,   2458,   2803, 
/* msg =   1577, deg =  6 */    250,    587,   1071,   1628,   3290,   3607, 
/* msg =   1578, deg =  6 */     70,    220,    552,   2505,   2958,   3359, 
/* msg =   1579, deg =  6 */    657,    726,   2125,   2356,   2627,   3787, 
/* msg =   1580, deg =  6 */    216,    492,    730,   1046,   2584,   3413, 
/* msg =   1581, deg =  6 */    245,    636,    881,   1032,   2687,   3392, 
/* msg =   1582, deg =  6 */    751,    838,   1235,   1245,   2601,   3109, 
/* msg =   1583, deg =  6 */    189,    862,   1575,   2817,   3048,   3405, 
/* msg =   1584, deg =  6 */    572,   1246,   1271,   1276,   1454,   1577, 
/* msg =   1585, deg =  6 */     39,    350,   1389,   1425,   1558,   2713, 
/* msg =   1586, deg =  6 */    714,   1166,   1668,   2133,   2165,   2416, 
/* msg =   1587, deg =  6 */     13,    223,    349,    883,   3618,   3988, 
/* msg =   1588, deg =  6 */     34,   1055,   2002,   2707,   3671,   3705, 
/* msg =   1589, deg =  6 */    134,    157,    768,   1543,   3513,   3766, 
/* msg =   1590, deg =  6 */     45,    790,   2453,   2715,   2904,   2934, 
/* msg =   1591, deg =  6 */    151,   1091,   1319,   1419,   2959,   3107, 
/* msg =   1592, deg =  6 */     72,   1485,   1966,   2234,   2874,   3676, 
/* msg =   1593, deg =  6 */   1233,   2235,   2359,   2366,   2782,   3259, 
/* msg =   1594, deg =  6 */    703,    743,   1380,   2529,   3006,   3576, 
/* msg =   1595, deg =  6 */    467,    597,   1147,   1327,   1844,   2195, 
/* msg =   1596, deg =  6 */    481,   1560,   2075,   3046,   3115,   3927, 
/* msg =   1597, deg =  6 */    436,   2178,   2510,   2942,   3550,   3637, 
/* msg =   1598, deg =  6 */    930,   1821,   3165,   3384,   3464,   3627, 
/* msg =   1599, deg =  6 */    367,    526,   1196,   1625,   2610,   3723, 
/* msg =   1600, deg =  6 */     90,    198,   1115,   1596,   1701,   1839, 
/* msg =   1601, deg =  6 */    416,   1287,   2516,   3271,   3901,   3933, 
/* msg =   1602, deg =  6 */   2851,   3109,   3404,   3448,   3550,   3572, 
/* msg =   1603, deg =  6 */   1467,   1882,   1890,   2217,   3635,   3714, 
/* msg =   1604, deg =  6 */    367,    404,    410,   2450,   3370,   3722, 
/* msg =   1605, deg =  6 */    269,    332,   1039,   1132,   2800,   3341, 
/* msg =   1606, deg =  6 */   1131,   1622,   2504,   3110,   3507,   3827, 
/* msg =   1607, deg =  6 */   1023,   1151,   1331,   1493,   2572,   3142, 
/* msg =   1608, deg =  6 */    829,   1048,   1642,   2444,   2476,   2710, 
/* msg =   1609, deg =  6 */    493,   1135,   2553,   2569,   3105,   3901, 
/* msg =   1610, deg =  6 */    669,    729,    732,    921,   1051,   2282, 
/* msg =   1611, deg =  6 */   1197,   2413,   2488,   3117,   3184,   3976, 
/* msg =   1612, deg =  6 */   1177,   1353,   3008,   3107,   3621,   3757, 
/* msg =   1613, deg =  6 */    451,    715,   1943,   2893,   2905,   3214, 
/* msg =   1614, deg =  6 */    462,    542,   1005,   1377,   1796,   3922, 
/* msg =   1615, deg =  6 */    514,    639,    640,   1144,   1431,   1748, 
/* msg =   1616, deg =  6 */   1343,   2501,   2683,   3391,   3470,   3492, 
/* msg =   1617, deg =  6 */    598,   1304,   2073,   2441,   3111,   3182, 
/* msg =   1618, deg =  6 */   1175,   1938,   2102,   3577,   3873,   3980, 
/* msg =   1619, deg =  6 */    739,   1435,   2806,   3161,   3683,   3913, 
/* msg =   1620, deg =  6 */    285,   1045,   1510,   3017,   3123,   3791, 
/* msg =   1621, deg =  6 */   2014,   2580,   2613,   2882,   2983,   3135, 
/* msg =   1622, deg =  6 */    586,   1022,   1345,   1365,   1705,   3677, 
/* msg =   1623, deg =  6 */    426,   1072,   1090,   1220,   3225,   3399, 
/* msg =   1624, deg =  6 */    700,    814,   1237,   1456,   2053,   2067, 
/* msg =   1625, deg =  6 */    998,   1703,   2156,   2811,   3324,   3978, 
/* msg =   1626, deg =  6 */    911,   1226,   2610,   2828,   3461,   3945, 
/* msg =   1627, deg =  6 */    204,    747,    979,   2523,   2601,   2900, 
/* msg =   1628, deg =  6 */    247,   2356,   2734,   3051,   3823,   3987, 
/* msg =   1629, deg =  6 */   1308,   1391,   2437,   2764,   3030,   3376, 
/* msg =   1630, deg =  6 */      8,    879,   1488,   1540,   2603,   3480, 
/* msg =   1631, deg =  6 */    319,    465,    622,   1016,   1804,   2418, 
/* msg =   1632, deg =  6 */    832,   2098,   2187,   2278,   3315,   3461, 
/* msg =   1633, deg =  6 */    131,    487,   1100,   2530,   3201,   3949, 
/* msg =   1634, deg =  6 */    355,    733,   1000,   1494,   2870,   2953, 
/* msg =   1635, deg =  6 */    335,   1188,   2865,   3108,   3133,   3541, 
/* msg =   1636, deg =  6 */    606,   1336,   2367,   3227,   3358,   3953, 
/* msg =   1637, deg =  6 */    120,    361,    834,   1053,   1505,   1908, 
/* msg =   1638, deg =  6 */    249,   1983,   2176,   2573,   2914,   3072, 
/* msg =   1639, deg =  6 */   1154,   1504,   3420,   3636,   3672,   3990, 
/* msg =   1640, deg =  6 */     16,    161,   1637,   2357,   3295,   3468, 
/* msg =   1641, deg =  6 */    853,   1310,   1355,   1358,   3535,   3606, 
/* msg =   1642, deg =  6 */   1102,   1125,   1224,   1266,   1568,   3050, 
/* msg =   1643, deg =  6 */   2093,   2286,   2470,   2471,   2931,   3209, 
/* msg =   1644, deg =  6 */    488,    580,    609,   1731,   2272,   2922, 
/* msg =   1645, deg =  6 */   1228,   1640,   2143,   2292,   2330,   3784, 
/* msg =   1646, deg =  6 */    452,    552,    717,   2277,   2790,   3287, 
/* msg =   1647, deg =  6 */    403,   1183,   1801,   2060,   2575,   3234, 
/* msg =   1648, deg =  6 */   1415,   2335,   3357,   3450,   3511,   3650, 
/* msg =   1649, deg =  6 */    356,    626,   1252,   1737,   2512,   3491, 
/* msg =   1650, deg =  6 */   1002,   1450,   1826,   2341,   3505,   3604, 
/* msg =   1651, deg =  6 */    664,    675,   1520,   2914,   3510,   3939, 
/* msg =   1652, deg =  6 */      3,   2476,   2479,   3253,   3341,   3952, 
/* msg =   1653, deg =  6 */   1109,   1718,   2166,   2451,   3562,   3660, 
/* msg =   1654, deg =  6 */   1187,   1936,   2565,   2943,   2988,   3773, 
/* msg =   1655, deg =  6 */    925,   1260,   1274,   1992,   3356,   3825, 
/* msg =   1656, deg =  6 */   1309,   1627,   2353,   3150,   3907,   3980, 
/* msg =   1657, deg =  6 */    113,   1219,   1572,   2682,   3402,   3752, 
/* msg =   1658, deg =  6 */    281,    974,   1311,   1335,   3096,   3649, 
/* msg =   1659, deg =  6 */    160,    823,   1000,   2115,   2700,   3142, 
/* msg =   1660, deg =  6 */    393,    601,   1128,   2104,   2141,   3215, 
/* msg =   1661, deg =  6 */    133,    498,   1302,   1375,   3352,   3391, 
/* msg =   1662, deg =  6 */    333,   1713,   2212,   2350,   3531,   3975, 
/* msg =   1663, deg =  6 */    277,   1494,   1850,   1924,   2079,   3163, 
/* msg =   1664, deg =  6 */   1015,   1617,   1634,   2461,   3196,   3802, 
/* msg =   1665, deg =  6 */    176,    303,    790,   3346,   3632,   3823, 
/* msg =   1666, deg =  6 */    139,    264,    688,   1315,   1408,   2718, 
/* msg =   1667, deg =  6 */    625,   1885,   2117,   2405,   2423,   3966, 
/* msg =   1668, deg =  6 */    481,    719,   1727,   2305,   2994,   3781, 
/* msg =   1669, deg =  6 */    265,    879,    964,   2053,   2159,   3674, 
/* msg =   1670, deg =  6 */     36,   1061,   1534,   2459,   3393,   3715, 
/* msg =   1671, deg =  6 */    128,    172,   2075,   2571,   2837,   3265, 
/* msg =   1672, deg =  6 */    108,    653,    738,   2196,   2328,   3119, 
/* msg =   1673, deg =  6 */    431,    551,   1323,   2498,   3610,   3957, 
/* msg =   1674, deg =  6 */    651,    941,   3135,   3501,   3539,   3710, 
/* msg =   1675, deg =  6 */    176,    574,   1867,   2483,   3298,   3676, 
/* msg =   1676, deg =  6 */    332,    736,   1371,   1641,   1688,   3446, 
/* msg =   1677, deg =  6 */    990,   1765,   1928,   2186,   2539,   2659, 
/* msg =   1678, deg =  6 */    991,   2155,   2200,   2966,   3065,   3338, 
/* msg =   1679, deg =  6 */   1509,   1726,   2243,   2315,   3494,   3614, 
/* msg =   1680, deg =  6 */    233,    791,   1833,   2435,   3647,   3794, 
/* msg =   1681, deg =  6 */    209,    757,   1366,   2962,   3010,   3239, 
/* msg =   1682, deg =  6 */    241,   1314,   1729,   2233,   3235,   3703, 
/* msg =   1683, deg =  6 */    581,   1213,   2710,   3099,   3168,   3785, 
/* msg =   1684, deg =  6 */    593,   1050,   1597,   1738,   3057,   3696, 
/* msg =   1685, deg =  6 */    837,   1208,   1544,   2563,   2855,   3561, 
/* msg =   1686, deg =  6 */    245,    743,   1078,   2538,   2697,   3226, 
/* msg =   1687, deg =  6 */    857,   1019,   1389,   2160,   2327,   2937, 
/* msg =   1688, deg =  6 */    601,   1405,   1469,   2692,   3083,   3197, 
/* msg =   1689, deg =  6 */    475,    496,   1965,   2027,   2236,   2716, 
/* msg =   1690, deg =  6 */     49,   1525,   1704,   2740,   2936,   3401, 
/* msg =   1691, deg =  6 */    744,   1651,   1942,   2792,   2926,   3544, 
/* msg =   1692, deg =  6 */    468,   1259,   1915,   2134,   3089,   3569, 
/* msg =   1693, deg =  6 */    303,    494,   2583,   3157,   3325,   3467, 
/* msg =   1694, deg =  6 */    138,    426,   1153,   1569,   1844,   1903, 
/* msg =   1695, deg =  6 */    749,    847,    995,   1920,   2431,   3694, 
/* msg =   1696, deg =  6 */    423,   1362,   1734,   1901,   1976,   3376, 
/* msg =   1697, deg =  6 */    775,    789,    815,   2103,   2796,   3864, 
/* msg =   1698, deg =  6 */    832,   1388,   1947,   2161,   2250,   3613, 
/* msg =   1699, deg =  6 */    830,   1757,   1791,   3041,   3559,   3561, 
/* msg =   1700, deg =  6 */    972,   1584,   1987,   2029,   2063,   2251, 
/* msg =   1701, deg =  6 */    828,   1262,   1710,   1721,   2716,   3777, 
/* msg =   1702, deg =  6 */    276,    476,    649,   1427,   1918,   2540, 
/* msg =   1703, deg =  6 */    198,    803,   1538,   1743,   2449,   2593, 
/* msg =   1704, deg =  6 */    436,    827,   1406,   1884,   2143,   3155, 
/* msg =   1705, deg =  6 */    114,    478,    757,   2561,   3187,   3914, 
/* msg =   1706, deg =  6 */    527,    904,   1378,   2511,   3070,   3758, 
/* msg =   1707, deg =  6 */   2557,   2586,   2853,   2864,   3760,   3837, 
/* msg =   1708, deg =  6 */    549,    681,    870,   1630,   2339,   3557, 
/* msg =   1709, deg =  6 */     26,   1425,   1718,   2662,   3662,   3961, 
/* msg =   1710, deg =  6 */   1103,   1359,   1675,   1720,   2003,   3258, 
/* msg =   1711, deg =  6 */    359,    514,   1804,   2342,   3601,   3646, 
/* msg =   1712, deg =  6 */    166,    348,   1531,   2474,   3094,   3275, 
/* msg =   1713, deg =  6 */    450,   1583,   2399,   2736,   3047,   3725, 
/* msg =   1714, deg =  6 */     11,    712,   2750,   3016,   3305,   3383, 
/* msg =   1715, deg =  6 */   1205,   1939,   2386,   3634,   3738,   3851, 
/* msg =   1716, deg =  6 */   1870,   1883,   2678,   3415,   3418,   3734, 
/* msg =   1717, deg =  6 */   1232,   1837,   2224,   2478,   2541,   3956, 
/* msg =   1718, deg =  6 */   1287,   2145,   3062,   3424,   3457,   3664, 
/* msg =   1719, deg =  6 */    531,   1812,   2043,   2082,   2634,   2972, 
/* msg =   1720, deg =  6 */    243,   1468,   3143,   3351,   3636,   3656, 
/* msg =   1721, deg =  6 */   1740,   2832,   2993,   3027,   3545,   3629, 
/* msg =   1722, deg =  6 */    248,    749,   2144,   2449,   2622,   3392, 
/* msg =   1723, deg =  6 */     62,    322,    417,    774,   1026,   3715, 
/* msg =   1724, deg =  6 */    667,    825,   1753,   2844,   2991,   3572, 
/* msg =   1725, deg =  6 */    433,    449,   1101,   2877,   3507,   3918, 
/* msg =   1726, deg =  6 */    828,   1156,   1963,   2439,   2875,   3278, 
/* msg =   1727, deg =  6 */    414,   2341,   2880,   2927,   3013,   3249, 
/* msg =   1728, deg =  6 */    723,    845,   1121,   2052,   2896,   2969, 
/* msg =   1729, deg =  6 */    827,   1016,   1654,   2046,   3143,   3931, 
/* msg =   1730, deg =  6 */   1611,   2017,   2257,   2742,   2805,   3880, 
/* msg =   1731, deg =  6 */   1155,   1652,   2912,   2948,   3845,   3947, 
/* msg =   1732, deg =  6 */   1376,   1731,   1886,   2245,   2641,   3912, 
/* msg =   1733, deg =  6 */    142,    727,   2332,   3496,   3730,   3745, 
/* msg =   1734, deg =  6 */   1481,   1708,   2202,   2466,   3199,   3802, 
/* msg =   1735, deg =  6 */    452,   1036,   1555,   2508,   3570,   3866, 
/* msg =   1736, deg =  6 */    843,   1511,   2853,   3052,   3530,   3687, 
/* msg =   1737, deg =  6 */    850,    982,   1015,   2481,   2626,   3490, 
/* msg =   1738, deg =  6 */    390,   1451,   1620,   2802,   2989,   3653, 
/* msg =   1739, deg =  6 */     12,   1601,   1742,   1917,   2602,   3879, 
/* msg =   1740, deg =  6 */    751,    793,    966,   1399,   3434,   3744, 
/* msg =   1741, deg =  6 */    205,    226,    488,   1283,   1337,   2208, 
/* msg =   1742, deg =  6 */    876,   1078,   1141,   2093,   3176,   3426, 
/* msg =   1743, deg =  6 */     59,   1273,   2889,   3120,   3166,   3251, 
/* msg =   1744, deg =  6 */    437,    910,   1541,   1630,   2128,   3251, 
/* msg =   1745, deg =  6 */    515,   1576,   2760,   3081,   3372,   3772, 
/* msg =   1746, deg =  6 */     50,    998,   1426,   1619,   3546,   3821, 
/* msg =   1747, deg =  6 */    422,    679,    873,   2558,   3126,   3546, 
/* msg =   1748, deg =  6 */    333,    797,   1502,   2798,   3549,   3618, 
/* msg =   1749, deg =  6 */    153,   1089,   2056,   2492,   2701,   3577, 
/* msg =   1750, deg =  6 */    298,    673,    718,   2502,   3581,   3733, 
/* msg =   1751, deg =  6 */   1117,   1275,   2075,   2452,   3388,   3423, 
/* msg =   1752, deg =  6 */   1356,   1496,   1987,   2604,   2617,   3332, 
/* msg =   1753, deg =  6 */    443,   1067,   1100,   1310,   1395,   2555, 
/* msg =   1754, deg =  6 */    434,   1064,   1116,   1361,   2055,   3097, 
/* msg =   1755, deg =  6 */    354,    446,   1686,   1760,   3182,   3466, 
/* msg =   1756, deg =  6 */    588,    645,   2230,   2299,   2407,   3465, 
/* msg =   1757, deg =  6 */   1146,   1489,   1825,   2244,   2721,   3371, 
/* msg =   1758, deg =  6 */    185,    494,   1138,   2979,   3019,   3191, 
/* msg =   1759, deg =  6 */     37,   2227,   2762,   3216,   3361,   3935, 
/* msg =   1760, deg =  6 */     71,    654,   2394,   3269,   3670,   3862, 
/* msg =   1761, deg =  6 */   1268,   1751,   2654,   3084,   3516,   3520, 
/* msg =   1762, deg =  6 */    710,    742,   1393,   1613,   1719,   3304, 
/* msg =   1763, deg =  6 */    276,    515,    592,   2036,   2318,   3991, 
/* msg =   1764, deg =  6 */    909,   1372,   1931,   2884,   3040,   3598, 
/* msg =   1765, deg =  6 */    704,    813,   1285,   2084,   3267,   3693, 
/* msg =   1766, deg =  6 */    242,    580,    624,    831,   2850,   3523, 
/* msg =   1767, deg =  6 */   1122,   1716,   2762,   2810,   3514,   3900, 
/* msg =   1768, deg =  6 */   1126,   1248,   2111,   2384,   3130,   3687, 
/* msg =   1769, deg =  6 */    329,    678,    804,   1179,   1852,   2211, 
/* msg =   1770, deg =  6 */    791,    814,   1054,   1195,   3813,   3996, 
/* msg =   1771, deg =  6 */   1149,   1856,   2209,   2303,   3002,   3905, 
/* msg =   1772, deg =  6 */    807,   1132,   1352,   2301,   3327,   3754, 
/* msg =   1773, deg =  6 */    751,   1597,   1624,   1721,   2202,   3522, 
/* msg =   1774, deg =  6 */    454,   1200,   1773,   1988,   2207,   3884, 
/* msg =   1775, deg =  6 */    314,   1265,   1307,   2850,   3775,   3937, 
/* msg =   1776, deg =  6 */    169,    279,   1258,   2456,   2503,   3497, 
/* msg =   1777, deg =  6 */    241,   1898,   2013,   2317,   3520,   3962, 
/* msg =   1778, deg =  6 */    568,    787,   1642,   2410,   2996,   3363, 
/* msg =   1779, deg =  6 */    734,   1123,   1927,   3002,   3704,   3941, 
/* msg =   1780, deg =  6 */    329,    795,   1291,   3136,   3755,   3962, 
/* msg =   1781, deg =  6 */   1095,   1799,   1942,   2082,   2289,   2421, 
/* msg =   1782, deg =  6 */     64,    908,   1221,   1690,   3343,   3626, 
/* msg =   1783, deg =  6 */    270,   2040,   2380,   2417,   2671,   3279, 
/* msg =   1784, deg =  6 */    160,   1202,   1588,   2787,   3499,   3658, 
/* msg =   1785, deg =  6 */    904,    946,   1173,   3653,   3761,   3982, 
/* msg =   1786, deg =  6 */    196,    461,   1052,   2229,   3196,   3570, 
/* msg =   1787, deg =  6 */    219,    820,   1657,   1882,   2457,   2650, 
/* msg =   1788, deg =  6 */    276,    530,    573,   1431,   1665,   3083, 
/* msg =   1789, deg =  6 */    849,   1675,   1815,   2698,   2850,   3421, 
/* msg =   1790, deg =  6 */    156,   1819,   2348,   2428,   2731,   3216, 
/* msg =   1791, deg =  6 */   1426,   1508,   1746,   1780,   2940,   3277, 
/* msg =   1792, deg =  6 */   1272,   2333,   2394,   3508,   3574,   3642, 
/* msg =   1793, deg =  6 */    271,    435,    826,   1186,   1729,   3418, 
/* msg =   1794, deg =  6 */    415,    765,   1283,   1985,   3673,   3998, 
/* msg =   1795, deg =  6 */    495,   1954,   2479,   2843,   3425,   3450, 
/* msg =   1796, deg =  6 */   1180,   1401,   1437,   1637,   2179,   3683, 
/* msg =   1797, deg =  6 */   1347,   2705,   2735,   2813,   3429,   3799, 
/* msg =   1798, deg =  6 */    183,    507,   1010,   1931,   2180,   3979, 
/* msg =   1799, deg =  6 */    267,    377,   1037,   1703,   2284,   3093, 
/* msg =   1800, deg =  6 */    859,   1929,   2484,   3699,   3850,   3870, 
/* msg =   1801, deg =  6 */    196,    410,   2092,   2621,   3479,   3612, 
/* msg =   1802, deg =  6 */   1453,   1769,   2104,   2349,   2936,   3995, 
/* msg =   1803, deg =  6 */   1285,   1529,   2392,   3362,   3565,   3696, 
/* msg =   1804, deg =  6 */   1249,   1828,   2418,   2545,   2611,   3160, 
/* msg =   1805, deg =  6 */    403,   1198,   1307,   1583,   3445,   3604, 
/* msg =   1806, deg =  6 */    398,   1072,   1165,   1306,   3680,   3827, 
/* msg =   1807, deg =  6 */    111,   1204,   2208,   2419,   3482,   3934, 
/* msg =   1808, deg =  6 */    370,   1650,   2296,   2455,   2524,   3688, 
/* msg =   1809, deg =  6 */     74,    558,   1243,   1607,   2531,   3087, 
/* msg =   1810, deg =  6 */    772,    802,   1936,   3241,   3691,   3982, 
/* msg =   1811, deg =  6 */    995,   1784,   1909,   2366,   3693,   3767, 
/* msg =   1812, deg =  6 */      7,     89,    538,   2382,   2434,   3134, 
/* msg =   1813, deg =  6 */    546,    763,   1238,   1556,   1989,   3809, 
/* msg =   1814, deg =  6 */   1348,   2827,   3014,   3034,   3433,   3832, 
/* msg =   1815, deg =  6 */     93,    535,    949,   1113,   2338,   3219, 
/* msg =   1816, deg =  6 */    168,    916,   1914,   2206,   2479,   3312, 
/* msg =   1817, deg =  6 */    260,    524,   1676,   2329,   3261,   3998, 
/* msg =   1818, deg =  6 */    128,    499,   1537,   1620,   1836,   3261, 
/* msg =   1819, deg =  6 */   1170,   2160,   3521,   3605,   3713,   3895, 
/* msg =   1820, deg =  6 */    236,   1958,   2072,   2851,   3071,   3238, 
/* msg =   1821, deg =  6 */    887,   1360,   2114,   2436,   2685,   2890, 
/* msg =   1822, deg =  6 */    544,    555,    805,   1034,   2829,   3076, 
/* msg =   1823, deg =  6 */    310,    674,   1239,   1836,   2413,   3230, 
/* msg =   1824, deg =  6 */    753,   1724,   1774,   2579,   3734,   3809, 
/* msg =   1825, deg =  6 */    286,    908,   1332,   2062,   2240,   2783, 
/* msg =   1826, deg =  6 */    185,   2008,   2442,   2555,   3177,   3747, 
/* msg =   1827, deg =  6 */    598,   1947,   2012,   2198,   2518,   3968, 
/* msg =   1828, deg =  6 */    880,   2030,   2143,   2414,   3712,   3930, 
/* msg =   1829, deg =  6 */    120,    235,    983,   1771,   2719,   3581, 
/* msg =   1830, deg =  6 */    647,   1412,   1414,   2611,   2918,   3252, 
/* msg =   1831, deg =  6 */     56,    202,    665,   1638,   2571,   3011, 
/* msg =   1832, deg =  6 */   1646,   1889,   2112,   2480,   3126,   3813, 
/* msg =   1833, deg =  6 */     48,    407,   2403,   2815,   3430,   3942, 
/* msg =   1834, deg =  6 */    869,   2307,   2785,   3092,   3198,   3278, 
/* msg =   1835, deg =  6 */    963,   1549,   1612,   1774,   2069,   2370, 
/* msg =   1836, deg =  6 */    725,   1970,   2151,   2653,   3288,   3786, 
/* msg =   1837, deg =  6 */    958,   1119,   1247,   1572,   1671,   3791, 
/* msg =   1838, deg =  6 */   1126,   1286,   1914,   2136,   3134,   3464, 
/* msg =   1839, deg =  6 */   1518,   2090,   2415,   2826,   2945,   3815, 
/* msg =   1840, deg =  6 */    900,   1426,   2094,   2118,   3212,   3290, 
/* msg =   1841, deg =  6 */   1108,   1693,   1867,   2002,   2050,   2973, 
/* msg =   1842, deg =  6 */    464,    564,   1276,   1290,   2171,   2490, 
/* msg =   1843, deg =  6 */    349,   1296,   1682,   1733,   2704,   2751, 
/* msg =   1844, deg =  6 */    740,    775,   1183,   1465,   1889,   2795, 
/* msg =   1845, deg =  6 */    179,    627,   1410,   1669,   3047,   3340, 
/* msg =   1846, deg =  6 */    175,    704,   1405,   1521,   1709,   2901, 
/* msg =   1847, deg =  6 */    745,   1723,   1971,   2517,   3077,   3698, 
/* msg =   1848, deg =  6 */    713,    986,   1657,   2844,   3878,   3911, 
/* msg =   1849, deg =  6 */   1205,   1428,   1476,   2042,   2168,   3001, 
/* msg =   1850, deg =  6 */    493,    846,   1331,   1479,   2535,   3568, 
/* msg =   1851, deg =  6 */    434,   1341,   1868,   2428,   2940,   3284, 
/* msg =   1852, deg =  6 */    405,    536,    562,    614,    622,   2624, 
/* msg =   1853, deg =  6 */    373,    517,    652,   2690,   3129,   3521, 
/* msg =   1854, deg =  6 */    740,   1011,   1296,   1711,   2184,   2570, 
/* msg =   1855, deg =  6 */     15,   2245,   2373,   2590,   3386,   3853, 
/* msg =   1856, deg =  6 */     33,    553,   2995,   3307,   3551,   3911, 
/* msg =   1857, deg =  6 */    882,   1385,   1475,   2280,   2317,   3523, 
/* msg =   1858, deg =  6 */    499,   1004,   1021,   1811,   2657,   2989, 
/* msg =   1859, deg =  6 */    946,   1506,   1990,   2709,   2757,   3175, 
/* msg =   1860, deg =  6 */    906,   1331,   2833,   3361,   3572,   3640, 
/* msg =   1861, deg =  6 */    147,    847,   1926,   2014,   2495,   2840, 
/* msg =   1862, deg =  6 */    808,   1192,   1627,   2368,   2879,   3466, 
/* msg =   1863, deg =  6 */   1763,   2387,   2574,   2646,   3408,   3455, 
/* msg =   1864, deg =  6 */    312,   1191,   1542,   2368,   2680,   3669, 
/* msg =   1865, deg =  6 */   1300,   1378,   1387,   2546,   2951,   3039, 
/* msg =   1866, deg =  6 */    388,   2694,   2952,   3516,   3923,   3938, 
/* msg =   1867, deg =  6 */    688,   1378,   1446,   2439,   2574,   2858, 
/* msg =   1868, deg =  6 */    704,   1346,   2174,   2408,   2631,   3252, 
/* msg =   1869, deg =  6 */    248,   1291,   2317,   2577,   3764,   3974, 
/* msg =   1870, deg =  6 */     18,    787,   1319,   1653,   1671,   2013, 
/* msg =   1871, deg =  6 */   1113,   1676,   1854,   1956,   3684,   3897, 
/* msg =   1872, deg =  6 */    520,    618,    654,    731,   1881,   2489, 
/* msg =   1873, deg =  6 */     40,    331,    668,   1869,   2193,   2599, 
/* msg =   1874, deg =  6 */    621,   1248,   2361,   2417,   3457,   3916, 
/* msg =   1875, deg =  6 */   1129,   1638,   2185,   2598,   3264,   3673, 
/* msg =   1876, deg =  6 */     17,   1628,   2493,   2685,   3391,   3454, 
/* msg =   1877, deg =  6 */    188,    270,    597,   1593,   2261,   3953, 
/* msg =   1878, deg =  6 */    985,   1143,   1261,   1419,   2074,   3604, 
/* msg =   1879, deg =  6 */   1304,   2379,   2570,   2592,   2910,   3061, 
/* msg =   1880, deg =  6 */    139,    932,   2009,   2376,   2949,   3439, 
/* msg =   1881, deg =  6 */    264,    499,    951,   3019,   3254,   3496, 
/* msg =   1882, deg =  6 */    510,   1500,   2173,   3356,   3814,   3841, 
/* msg =   1883, deg =  6 */      2,    538,    928,   1591,   2576,   2628, 
/* msg =   1884, deg =  6 */    619,   1254,   2262,   2451,   2625,   2649, 
/* msg =   1885, deg =  6 */   1116,   1356,   1640,   3343,   3590,   3657, 
/* msg =   1886, deg =  6 */    288,    918,   1753,   1985,   2622,   3608, 
/* msg =   1887, deg =  6 */     41,   1091,   1321,   1852,   2589,   2791, 
/* msg =   1888, deg =  6 */   1926,   1977,   2452,   2644,   2759,   3248, 
/* msg =   1889, deg =  6 */    683,   1525,   2091,   2689,   3115,   3734, 
/* msg =   1890, deg =  6 */   1327,   1333,   1655,   2172,   3750,   3851, 
/* msg =   1891, deg =  6 */    284,   1520,   1533,   2590,   3007,   3690, 
/* msg =   1892, deg =  6 */    509,    649,   1280,   1454,   2164,   3801, 
/* msg =   1893, deg =  6 */    231,    341,    685,   1303,   3312,   3601, 
/* msg =   1894, deg =  6 */   1411,   1757,   1809,   2009,   3281,   3623, 
/* msg =   1895, deg =  6 */   1449,   1888,   2478,   3170,   3336,   3381, 
/* msg =   1896, deg =  6 */    122,   1187,   1804,   2281,   2585,   2978, 
/* msg =   1897, deg =  6 */    942,   1395,   2021,   2118,   2542,   2776, 
/* msg =   1898, deg =  6 */    104,    969,   1110,   1434,   1518,   3999, 
/* msg =   1899, deg =  6 */   1339,   1364,   1596,   2602,   3718,   3850, 
/* msg =   1900, deg =  6 */    927,   2314,   2473,   3514,   3668,   3828, 
/* msg =   1901, deg =  6 */   1554,   1761,   1779,   1802,   2057,   2608, 
/* msg =   1902, deg =  6 */    697,    721,   1995,   2013,   3064,   3689, 
/* msg =   1903, deg =  6 */    389,    660,   1376,   1542,   3488,   3733, 
/* msg =   1904, deg =  6 */    629,   1151,   1897,   2305,   2909,   2952, 
/* msg =   1905, deg =  6 */    118,   1068,   1106,   1200,   1894,   1944, 
/* msg =   1906, deg =  6 */    152,   1524,   1702,   2115,   2203,   2561, 
/* msg =   1907, deg =  6 */     38,   1264,   1344,   2110,   3155,   3483, 
/* msg =   1908, deg =  6 */   1020,   1788,   1789,   2195,   2236,   2625, 
/* msg =   1909, deg =  6 */    367,    726,    744,   1213,   3505,   3887, 
/* msg =   1910, deg =  6 */    246,   1400,   2249,   2876,   3171,   3791, 
/* msg =   1911, deg =  6 */    430,   1065,   1074,   1688,   2192,   2323, 
/* msg =   1912, deg =  6 */      9,    127,   1554,   2094,   3139,   3154, 
/* msg =   1913, deg =  6 */    889,    989,   1341,   2795,   2924,   3087, 
/* msg =   1914, deg =  6 */    147,    491,   2328,   2398,   2634,   3503, 
/* msg =   1915, deg =  6 */   1435,   1884,   2324,   2740,   3099,   3420, 
/* msg =   1916, deg =  6 */    663,    858,   1264,   2469,   2700,   3722, 
/* msg =   1917, deg =  6 */   1098,   1656,   1772,   2078,   3103,   3554, 
/* msg =   1918, deg =  6 */    864,    880,    895,    980,   1042,   2371, 
/* msg =   1919, deg =  6 */    606,   1742,   2336,   2425,   3195,   3873, 
/* msg =   1920, deg =  6 */   1084,   1639,   1758,   1968,   2239,   3477, 
/* msg =   1921, deg =  6 */    432,   1185,   1201,   1271,   1335,   2976, 
/* msg =   1922, deg =  6 */    199,   3369,   3724,   3832,   3848,   3994, 
/* msg =   1923, deg =  6 */    776,   2059,   2897,   3080,   3169,   3189, 
/* msg =   1924, deg =  6 */    165,   1034,   1215,   1845,   2106,   2438, 
/* msg =   1925, deg =  6 */   1140,   1496,   2035,   2308,   2565,   3131, 
/* msg =   1926, deg =  6 */    451,   1940,   2079,   2454,   2666,   3137, 
/* msg =   1927, deg =  6 */    306,    633,   1205,   1957,   2489,   3058, 
/* msg =   1928, deg =  6 */    424,   1656,   1712,   2171,   3033,   3969, 
/* msg =   1929, deg =  6 */    537,    746,   1159,   1439,   1558,   2123, 
/* msg =   1930, deg =  6 */    207,   1410,   1965,   2288,   3294,   3775, 
/* msg =   1931, deg =  6 */    663,   1534,   2180,   2226,   2960,   3389, 
/* msg =   1932, deg =  6 */    352,   1517,   1619,   1996,   2567,   2631, 
/* msg =   1933, deg =  6 */   1293,   1317,   2127,   2694,   3238,   3623, 
/* msg =   1934, deg =  6 */    528,   1111,   1442,   1666,   2753,   3118, 
/* msg =   1935, deg =  6 */   1044,   1710,   1735,   2123,   2823,   3277, 
/* msg =   1936, deg =  6 */    386,   1486,   1756,   2313,   3286,   3346, 
/* msg =   1937, deg =  6 */    970,   1578,   2372,   2712,   3281,   3512, 
/* msg =   1938, deg =  6 */    483,   1066,   2771,   3148,   3761,   3780, 
/* msg =   1939, deg =  6 */   2088,   2390,   2395,   3105,   3676,   3920, 
/* msg =   1940, deg =  6 */   1138,   1974,   2387,   2450,   2517,   3075, 
/* msg =   1941, deg =  6 */    290,   1244,   1480,   2498,   2576,   2772, 
/* msg =   1942, deg =  6 */    143,   1124,   1913,   2468,   2997,   3620, 
/* msg =   1943, deg =  6 */    817,   1175,   1686,   2263,   2950,   3021, 
/* msg =   1944, deg =  6 */    148,   2983,   3036,   3250,   3253,   3739, 
/* msg =   1945, deg =  6 */    441,    819,   1170,   2408,   2530,   3039, 
/* msg =   1946, deg =  6 */    306,    922,   1797,   2359,   2770,   3619, 
/* msg =   1947, deg =  6 */     27,    567,    771,   2256,   2640,   3306, 
/* msg =   1948, deg =  6 */    296,    645,   2052,   2059,   2645,   3406, 
/* msg =   1949, deg =  6 */    123,    125,   1288,   1750,   3435,   3451, 
/* msg =   1950, deg =  6 */    328,   1589,   1837,   1838,   2171,   2449, 
/* msg =   1951, deg =  6 */   1096,   1648,   1657,   3452,   3477,   3530, 
/* msg =   1952, deg =  6 */   1164,   1556,   1803,   2058,   2351,   3462, 
/* msg =   1953, deg =  6 */    507,   1925,   2632,   3074,   3552,   3596, 
/* msg =   1954, deg =  6 */    338,    387,   1136,   1418,   2426,   3140, 
/* msg =   1955, deg =  6 */   1016,   1422,   1499,   1980,   2456,   2790, 
/* msg =   1956, deg =  6 */    987,   1737,   1918,   3567,   3644,   3708, 
/* msg =   1957, deg =  6 */    463,   1887,   2312,   3000,   3092,   3216, 
/* msg =   1958, deg =  6 */    186,    227,    750,   2663,   3048,   3280, 
/* msg =   1959, deg =  6 */     44,    430,    678,   1332,   2955,   3660, 
/* msg =   1960, deg =  6 */   1191,   1361,   1813,   1915,   2267,   3548, 
/* msg =   1961, deg =  6 */    116,   1444,   2655,   3035,   3739,   3797, 
/* msg =   1962, deg =  6 */    867,    977,   1100,   1600,   3371,   3925, 
/* msg =   1963, deg =  6 */    301,    732,   3548,   3592,   3603,   3993, 
/* msg =   1964, deg =  6 */    296,   1112,   1511,   2749,   3745,   3879, 
/* msg =   1965, deg =  6 */    892,   1305,   2026,   2037,   2827,   2930, 
/* msg =   1966, deg =  6 */   1219,   1842,   2260,   2373,   2971,   3463, 
/* msg =   1967, deg =  6 */    438,   1311,   1661,   2201,   2624,   2701, 
/* msg =   1968, deg =  6 */     89,    782,   1236,   1473,   2734,   2947, 
/* msg =   1969, deg =  6 */    316,    395,   1052,   2000,   2605,   3416, 
/* msg =   1970, deg =  6 */   1235,   1246,   1665,   3092,   3722,   3926, 
/* msg =   1971, deg =  6 */    346,    387,   1443,   2673,   3319,   3877, 
/* msg =   1972, deg =  6 */    396,    433,   1024,   2816,   3558,   3589, 
/* msg =   1973, deg =  6 */    619,    698,   1214,   1789,   1924,   3052, 
/* msg =   1974, deg =  6 */    526,   1828,   1986,   2887,   2972,   3475, 
/* msg =   1975, deg =  6 */    124,    469,    578,   1696,   2855,   3067, 
/* msg =   1976, deg =  6 */   1097,   1683,   2626,   3580,   3707,   3956, 
/* msg =   1977, deg =  6 */   1464,   1973,   2191,   2923,   3795,   3858, 
/* msg =   1978, deg =  6 */      6,   1092,   1709,   2235,   3263,   3633, 
/* msg =   1979, deg =  6 */    316,    557,    728,   1370,   1752,   3320, 
/* msg =   1980, deg =  6 */   1086,   1557,   2149,   3165,   3249,   3397, 
/* msg =   1981, deg =  6 */    693,    762,   1714,   2539,   2871,   3535, 
/* msg =   1982, deg =  6 */    477,   1625,   2448,   3021,   3874,   3882, 
/* msg =   1983, deg =  6 */    854,   1364,   1784,   2009,   2840,   3020, 
/* msg =   1984, deg =  6 */     76,    392,    648,   1561,   2705,   3932, 
/* msg =   1985, deg =  6 */    370,   1582,   2684,   2893,   3420,   3859, 
/* msg =   1986, deg =  6 */   1528,   1536,   2126,   2882,   3700,   3759, 
/* msg =   1987, deg =  6 */    296,    851,   1890,   2746,   3163,   3845, 
/* msg =   1988, deg =  6 */    348,   1350,   1917,   3236,   3360,   3465, 
/* msg =   1989, deg =  6 */    585,   1206,   2429,   2783,   3429,   3917, 
/* msg =   1990, deg =  6 */    221,    624,   1110,   2181,   3203,   3464, 
/* msg =   1991, deg =  6 */    750,   1374,   2228,   2744,   3380,   3610, 
/* msg =   1992, deg =  6 */   1009,   2044,   2342,   2794,   2928,   3459, 
/* msg =   1993, deg =  6 */   1293,   1601,   1694,   2018,   2548,   3785, 
/* msg =   1994, deg =  6 */    258,    310,    442,   1481,   3032,   3151, 
/* msg =   1995, deg =  6 */    391,    617,   1209,   1368,   2273,   3299, 
/* msg =   1996, deg =  6 */    289,   1143,   1582,   2411,   2707,   3354, 
/* msg =   1997, deg =  6 */    320,    675,   1573,   1706,   2762,   3225, 
/* msg =   1998, deg =  6 */    442,    985,   2271,   2646,   2647,   3334, 
/* msg =   1999, deg =  6 */    525,    638,   1089,   1224,   2378,   2595
};
#endif

